fix to build system: #include the proper file when they are in both builds and src
Fix warning (line annotation)
changed default option for quantifier instantiation
fix up build system for swig (d242c30 introduced a subtle error)
Boolean terms rewriting for quantified variables of type Bool, when quantifier body uses them in term context
Minor fixes to build system
Remove PropositionalQuery class and all CUDD-related build stuff
Fixes for miplib-trick application (and a new testcase)
Minor cleanup of sources
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
more statistics, for narrowing down incrementality slowdown
better arith error in case of nonlinear while in linear logic
new --force-logic option that overrides what the input says