Use luby restarts for random search.
Simplify not expressions in the AST.
Remove conditional for constraints that can always be enforced.
Port to latest version of library.
Better pruning for SortSet, particularly for random search.
Normalize linear equation.
Use latest Choco snapshot.
PropContinuous: Prune regions that are too small.
Test with custom membership constraints.
Rational min and max functions.
Testcase for transtitive inequalities.
Better pruning for sorted sets.
Generalize PropReifyEqualXY to integers.
Implemented set min and max constraints.
Automatic arc-consistency checking for fuzz tests.
Arc-consistent constraint for summing two variables.
Formatting.
Constraint for integer variable member of a set variable if the set is nonempty.
Set low and strict high bound.
Fixed documentation.