Expand not-equal for SMT-LIB 2 compatibility
Fix use of BigDecimal in place of fractions
4 new examples
Improved examples
More efficient queries for z3
Handle missing values in yices result
Increase version number
Update README to v1.3.1
Require n >= 0 for inductive arguments
Warnings for algebraic loops and unguarded pres
Merge branch 'master' into subrange
Explode subrange constraints into equalities
Handle negation on subrange types