gecode ☆
« Back to VersTracker
Description:
Toolkit for developing constraint-based systems and applications
Type: Formula  |  Tracked Since: Dec 28, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: constraint-programming solver optimization c++ library
Install: brew install gecode
About:
Gecode is a highly efficient, cross-platform C++ toolkit for developing constraint-based systems and applications. It provides a rich set of constraint solvers and search engines, enabling developers to model and solve complex combinatorial problems with minimal code. Its main value proposition is delivering high performance and flexibility for building sophisticated optimization and scheduling solutions.
Key Features:
  • High-performance constraint solver engine
  • Extensive library of finite domain and set constraints
  • Powerful search combinators for parallel exploration
  • Native C++ API with support for model reflection
  • Cross-platform support (Windows, macOS, Linux)
Use Cases:
  • Solving scheduling and timetabling problems
  • Optimizing resource allocation and logistics
  • Developing configuration and verification systems
  • Solving combinatorial puzzles and games
Alternatives:
  • OR-Tools – Google's suite with a broader focus on optimization, including linear and MIP solvers, while Gecode specializes in constraint programming.
  • Choco Solver – A Java-based constraint solver, offering a similar modeling approach but within the Java ecosystem.
Version History
Detected Version Rev Change Commit
Oct 10, 2025 4:28am 1 VERSION_BUMP 4e2afa58
Sep 18, 2025 3:36am 1 VERSION_BUMP 8298c26b
Nov 11, 2024 9:24am 1 VERSION_BUMP 1ac69dc7
Oct 27, 2024 3:46pm 1 VERSION_BUMP c1fe23a5
« Back to VersTracker  |  Browse Packages  |  About