MiniZinc / specialization-examples
☆67Updated last year
Alternatives and similar repositories for specialization-examples:
Users that are interested in specialization-examples are comparing it to the libraries listed below
- small MiniZinc examples demonstrating various language features☆125Updated 7 years ago
- The Chuffed CP solver☆104Updated last week
- A suite of MiniZinc benchmarks.☆84Updated 4 years ago
- The CP solver Chuffed☆20Updated 8 years ago
- The MiniZinc IDE☆149Updated last month
- A benchmark library for constraints☆91Updated 6 months ago
- My public programs and models - mostly combinatorial problems and puzzles☆375Updated 4 months ago
- The website for the MiniZinc constraint modelling system☆16Updated last month
- Algorithm Selection scenario data☆30Updated last year
- A CP Portfolio Solver☆26Updated 2 years ago
- Yuck is a local-search constraint solver with FlatZinc interface☆59Updated 9 months ago
- ☆32Updated last year
- ☆14Updated this week
- minicp☆20Updated 2 months ago
- Generic Constraint Development Environment☆288Updated 9 months ago
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆64Updated 4 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆120Updated last week
- MiniZinc documentation☆16Updated 2 years ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆65Updated 11 months ago
- Lingeling SAT Solver☆100Updated last year
- SYMPHONY is an open-source solver, callable library, and development framework for mixed-integer linear programs (MILPs) written in C wit…☆70Updated 5 months ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- SAT Solver SATCH☆117Updated 2 years ago
- The MiniZinc compiler☆542Updated this week
- Iterated Racing for Automatic Algorithm Configuration☆63Updated this week
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆26Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 9 months ago
- Replacing standard support propagation by belief propagation in MiniCP☆12Updated 3 weeks ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago