Gecode / gecode
Generic Constraint Development Environment
☆285Updated 7 months ago
Alternatives and similar repositories for gecode:
Users that are interested in gecode are comparing it to the libraries listed below
- The Chuffed CP solver☆100Updated 2 months ago
- The MiniZinc compiler☆531Updated this week
- A suite of MiniZinc benchmarks.☆84Updated 4 years ago
- The MiniZinc IDE☆146Updated this week
- A benchmark library for constraints☆87Updated 4 months ago
- COIN-OR Linear Programming Solver☆422Updated 3 weeks ago
- SCIP - Solving Constraint Integer Programs☆422Updated this week
- The CP solver Chuffed☆20Updated 8 years ago
- XCSP3 Tools in Java☆22Updated 2 weeks ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆76Updated last year
- An evolutionary computation framework to (automatically) build fast parallel stochastic optimization solvers☆102Updated 4 months ago
- My public programs and models - mostly combinatorial problems and puzzles☆373Updated last month
- ☆31Updated 11 months ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- COmpact SOlver for COnstrained problems☆12Updated last week
- ☆500Updated 3 weeks ago
- A minimalistic and high-performance SAT solver☆144Updated 3 years ago
- Open Solver Interface☆56Updated 2 months ago
- CaDiCaL SAT Solver☆409Updated this week
- SYMPHONY is an open-source solver, callable library, and development framework for mixed-integer linear programs (MILPs) written in C wit…☆69Updated 2 months ago
- The opensmt solver☆79Updated this week
- Constraint Solver ACE☆29Updated this week
- COIN-OR Branch-and-Cut solver☆847Updated 2 weeks ago
- Access to all MiniZinc functionality directly from Python☆154Updated 3 weeks ago
- A C++ Constraint Programming Library☆45Updated 9 months ago
- XCSP3 Core Parser in C++☆19Updated 8 months ago
- The Yices SMT Solver☆387Updated last month
- Yuck is a local-search constraint solver with FlatZinc interface☆57Updated 6 months ago
- SAT Solver SATCH☆114Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago