|
|
|
|
|
|
by ryan-nextmv
2278 days ago
|
|
|
I haven't used Choco myself, but I have seen it used quite successfully in some nice hybrid optimization studies. Gecode is awesome, but can be complex to get started with. Parts of Hop's design are informed by using Gecode and SCIP (https://scip.zib.de/) a lot. They're among the best designed solvers I've seen (for those that you can see the source). Over time I'd like to add in finite domain propagation and canned algorithms from the global constraint catalog. |
|
|