search

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

Change the MiniZinc complementary search to a FirstFail #958

Closed cprudhom closed 1 year ago

cprudhom commented 1 year ago

This PR corrects the problem presented in #956 in a simpler way. I also bet that the mzn test suite will be faster...🤞

sonatype-lift[bot] commented 1 year ago

:warning: 87 God Classes were detected by Lift in this project. Visit the Lift web console for more details.

cprudhom commented 1 year ago

Here again, tests are OK in my computer. There is something wrong with the GH