Uniquesafe : ensure correct behavior uniqueness of variables in scope is not satisfied

chocoteam / choco-solver

An open-source Java library for Constraint Programming

http://choco-solver.org/

BSD 4-Clause "Original" or "Old" License

687 stars 137 forks source link

Uniquesafe : ensure correct behavior uniqueness of variables in scope is not satisfied #1048

Closed cprudhom closed 1 year ago

cprudhom commented 1 year ago

This branch is related to #1040 #1041 #1042 #1043 #1044 and #1045. The provided solution is to change the arguments of the propagators to add views instead of multiple occurrences of the same variables. All constraints must be checked, but the methods added in IIntConstraintFactory are a first step.