gecode

Toolkit for developing constraint-based systems and applications

http://www.gecode.org/

Current versions:

stable 6.0.0
bottle 🍾 high_sierra, sierra, el_capitan

Options:

--with-qt Build with qt support

Depends on optionally:

qt 5.11.0 Cross-platform application and UI framework

JSON API for gecode

Formula code on GitHub

Fork me on GitHub