Gecode: A High-Performance Open-Source Constraint Solver
2025-07-05
Gecode is an open-source C++ toolkit for building constraint-based systems. Known for its state-of-the-art performance and modular design, it boasts a comprehensive set of features including constraints over integers, Booleans, sets, and floats (over 70 global constraints from the Global Constraint Catalog and many more). Gecode offers advanced branching heuristics, multiple search engines (including parallel search), MiniZinc support, automatic symmetry breaking, and restart mechanisms. Its extensive documentation and over 50,000 test cases ensure reliability and ease of use. Gecode swept all gold medals in the MiniZinc Challenges from 2008 to 2012, showcasing its exceptional performance.
Read more
Development
constraint solver