Removed fine propagation for propagators that do not support it.
Propagators for transitive and reflexive closure.
Removed fine propagation for propagators that do not support it.
Minor changes.
Fixed test to match model.
Reduce the range of IrWithin.
Use latest SNAPSHOT of the Choco library.
Remove unused imports.
Fix PropLexChainChannel idempotency.
Typing for relational expressions.
Update configuration file. Remove deprecated settings.
Add new relational classes.
Functional relation support.
Binary relation support.
Parent relation.
More relational implementation.
Rename ClaferOptions to ClaferOption.
Random search.
Remove whitespace.
Merge branch 'develop' of https://github.com/gsdlab/chocosolver into develop