Optimize parents. Remove unnecessary parent pointers when the solution is already known.
Some fixes.
Optimize implications.
Optimize if only if
Replaced if-only-if optimization with a more general one.
Changed hashCode behaviour to be deterministic and not change between runs of the same input. Makes debugging easier, no other reason.
Rewrite negative implications to positive implications.
Fixed lone optimization.
Rewrite implications with negative consequent.
Timeout constraint tests.
Rewrite implications with negative antecedent.
Fixed refs to Clafers with variable global cardinality.
Not all of the Choco library's propagators are idempotent unfortunately.
Fixed when int range does not include zero.
Fixed division.
Updated docs of frontfacing classes.
Add docs.
Removed toScope in most cases.
Renamed joins to be more descriptive.