Make propagation stops sooner if time limit is met (fix issue #1062) - Githubissues

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

Make propagation stops sooner if time limit is met (fix issue #1062) #1064

Open ArthurGodet opened 12 months ago