[gavinray]

Thanks for the reply! I signed up, will have a look at the book and bookmark your blog.

Unfortunately, C++ is one the only languages I'm not familiar with, so Gecode may be a bit out of my reach, but I'll check it out regardless.

[ryan-nextmv]

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.