Fix unexpected behaviour when using neg() intvar in arithm (#1115 ) - Githubissues

chocoteam / choco-solver

An open-source Java library for Constraint Programming

http://choco-solver.org/

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

690 stars 143 forks source link

Fix unexpected behaviour when using neg() intvar in arithm (#1115 ) #1116

Open ArthurGodet opened 1 week ago