Get the latest tech news
Gecode is an open source C++ toolkit for developing constraint-based systems (2019)
Gecode is an open source C++ toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible.
comprehensive Gecode has a comprehensive set of features: constraints over integers, Booleans, sets, and floats (it implements more than 70 constraints from the Global Constraint Catalog and many more on top); C++ modeling layer; advanced branching heuristics (accumulated failure count, activity); many search engines (parallel, interactive graphical, restarts); automatic symmetry breaking (LDSB); no-goods from restarts; MiniZinc support; and many more. efficient Gecode offers excellent performance with respect to both runtime and memory usage. All of its parts including reference documentation, implementations of global constraints, and examples are available as source code for download.
Or read this on Hacker News