MiniZinc / libminizinc
The MiniZinc compiler
☆498Updated this week
Related projects: ⓘ
- The MiniZinc IDE☆141Updated this week
- Generic Constraint Development Environment☆274Updated 2 months ago
- The Chuffed CP solver☆89Updated 3 weeks ago
- Access to all MiniZinc functionality directly from Python☆145Updated last month
- My public programs and models - mostly combinatorial problems and puzzles☆364Updated last month
- A suite of MiniZinc benchmarks.☆82Updated 3 years ago
- small MiniZinc examples demonstrating various language features☆119Updated 7 years ago
- A benchmark library for constraints☆81Updated last month
- The CP solver Chuffed☆20Updated 7 years ago
- An open-source Java library for Constraint Programming☆684Updated last week
- SCIP - Solving Constraint Integer Programs☆389Updated last week
- A Python Library for modeling combinatorial constrained problems☆60Updated last week
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆218Updated this week
- COIN-OR Branch-and-Cut solver☆771Updated this week
- Conjure: The Automated Constraint Modelling Tool☆96Updated 2 months ago
- XCSP3 Core Parser in C++☆19Updated 3 months ago
- A CP Portfolio Solver☆26Updated last year
- XCSP3 Tools in Java☆21Updated this week
- ⚙️ A conflict-driven nogood learning answer set solver☆117Updated 2 weeks ago
- The website for the MiniZinc constraint modelling system☆15Updated last week
- ☆444Updated this week
- CaDiCaL SAT Solver☆354Updated this week
- ☆66Updated 6 months ago
- COIN-OR Linear Programming Solver☆396Updated 2 weeks ago
- ☆31Updated 6 months ago
- The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver☆325Updated last week
- A curated list of awesome OR-Tools community resources.☆134Updated 2 weeks ago
- Linear optimization software☆931Updated this week
- Constraint Logic Programming over Integers☆178Updated 7 months ago
- This is a mirror of the subversion repository on COIN-OR☆88Updated 5 years ago