Generic Constraint Development Environment
☆319Updated this week
Alternatives and similar repositories for gecode
Users that are interested in gecode are comparing it to the libraries listed below
Sorting:
- Modeling and Programming with Gecode☆50Feb 18, 2026Updated last week
- The Chuffed CP solver☆121Jan 6, 2026Updated last month
- The MiniZinc compiler☆666Updated this week
- ☆32Feb 22, 2024Updated 2 years ago
- The CP solver Chuffed☆20Sep 26, 2016Updated 9 years ago
- The MiniZinc IDE☆168Updated this week
- A benchmark library for constraints☆99Oct 29, 2025Updated 4 months ago
- Access to all MiniZinc functionality directly from Python☆201Dec 15, 2025Updated 2 months ago
- A CP Portfolio Solver☆26Apr 18, 2023Updated 2 years ago
- COIN-OR Branch-and-Cut solver☆975Updated this week
- A suite of MiniZinc benchmarks.☆87Dec 12, 2025Updated 2 months ago
- Extensions to MathOptInterface to support constraint programming.☆24Jul 12, 2025Updated 7 months ago
- Sequential object-oriented simPlex☆75Feb 16, 2026Updated last week
- My public programs and models - mostly combinatorial problems and puzzles☆398Nov 27, 2025Updated 3 months ago
- SYMPHONY is an open-source solver, callable library, and development framework for mixed-integer linear programs (MILPs) written in C wit…☆74Jan 14, 2026Updated last month
- An open-source Java library for Constraint Programming☆753Feb 11, 2026Updated 2 weeks ago
- Yuck is a local-search constraint solver with FlatZinc interface☆61Dec 23, 2025Updated 2 months ago
- Branch-Cut-Price Framework☆31Sep 16, 2020Updated 5 years ago
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed☆28Feb 10, 2026Updated 2 weeks ago
- A Python Library for modeling combinatorial constrained problems☆81Feb 3, 2026Updated 3 weeks ago
- Open Solver Interface☆61Feb 16, 2026Updated last week
- Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.☆169Mar 27, 2024Updated last year
- JuMP extensions for constraint programming.☆16Jun 5, 2020Updated 5 years ago
- XCSP3 Core Parser in C++☆19Jan 14, 2026Updated last month
- small MiniZinc examples demonstrating various language features☆126Sep 11, 2017Updated 8 years ago
- A C++ Constraint Programming Library☆46May 9, 2024Updated last year
- COIN-OR Linear Programming Solver☆481Jan 11, 2026Updated last month
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆334Updated this week
- Google's Operations Research tools:☆13,134Updated this week
- Like HyperLogLog, but slower 🛶☆10Feb 5, 2020Updated 6 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Nov 25, 2024Updated last year
- A Julia package to manage Constraint-Based Local Search (CBLS) solvers.☆29Feb 16, 2026Updated last week
- Conjure: The Automated Constraint Modelling Tool☆111Updated this week
- The Pseudo-Boolean Solver MiniSat+☆29Oct 2, 2012Updated 13 years ago
- DDO a generic and efficient framework for MDD-based optimization.☆69May 23, 2025Updated 9 months ago
- Replacing standard support propagation by belief propagation in MiniCP☆15Feb 18, 2026Updated last week
- 🫓 A parser for the FlatZinc modelling language☆14Feb 27, 2025Updated last year
- An evolutionary computation framework to (automatically) build fast parallel stochastic optimization solvers☆119Apr 16, 2025Updated 10 months ago
- The website for the MiniZinc constraint modelling system☆17Feb 9, 2026Updated 2 weeks ago