[Duplicate] add duplicate method to solver (step 1: deal with variables)
[Duplicate] add duplicate method to solver (step 2: deal with unary constraints and propagators + reification)
[Duplicate] add duplicate method to solver (step 2: deal with binary constraints and propagators)
[Duplicate] add duplicate method to solver (step 2: deal with ternary constraints and propagators)
Merge branch 'develop' of github.com:chocoteam/choco3 into feature-solver
[Duplicate] add duplicate method to solver (step 3: deal with global constraints and propagators)
Few automatic corrections
[Duplicate] add duplicate method to solver (step 4: deal with set constraints and propagators)
[Issue #217] First steps. Few constraints are still missing (gary.*, regular.*, nogood and sat solver).
Merge branch 'feature-solver' into develop
Merge branch 'feature-solver' into develop
Merge branch 'develop' of github.com:chocoteam/choco3 into develop
Merge branch 'develop' into feature-ngv
merge