Some statistics for narrowing down incrementality issues (push/pop vs solve timing)
Properly |quote| symbols in SMT-LIBv2 output.
Interactive mode support for multiline input
Better error in case of nonlinear assertions while in linear logic
Fix to bug 497: make justification heuristic's ITE cache context-dependent.
Re-enable predicate subtyping, reversing commit 8f9f549 (needed for Kind integration)
fix for lambdas in relation to subtypes
fixup for miplib trick (related to lambda fix for subtypes)
lambda-related fix
subrange-related fix
new --tear-down-incremental mode
new --force-logic option that overrides what the input says