MiniZinc / minizinc-examples
small MiniZinc examples demonstrating various language features
☆123Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for minizinc-examples
- A suite of MiniZinc benchmarks.☆82Updated 4 years ago
- The MiniZinc IDE☆144Updated this week
- ☆66Updated 8 months ago
- My public programs and models - mostly combinatorial problems and puzzles☆368Updated last month
- A benchmark library for constraints☆83Updated last month
- The website for the MiniZinc constraint modelling system☆15Updated last week
- The CP solver Chuffed☆20Updated 8 years ago
- The Chuffed CP solver☆93Updated last week
- A CP Portfolio Solver☆26Updated last year
- Open source solvers for the Discrete Optimization set cover assignment.☆107Updated 3 years ago
- The MiniZinc compiler☆514Updated this week
- web based visualizations of discrete optimization assignments☆27Updated 7 years ago
- Access to all MiniZinc functionality directly from Python☆150Updated last week
- Conjure: The Automated Constraint Modelling Tool☆96Updated this week
- Generic Constraint Development Environment☆283Updated 4 months ago
- MiniZinc documentation☆16Updated last year
- This is a mirror of the subversion repository on COIN-OR☆86Updated 5 years ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 2 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆70Updated 3 years ago
- The Stochastic Local Search SAT Solver from UBC☆29Updated 2 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 5 years ago
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆63Updated 3 years ago
- Yuck is a local-search constraint solver with FlatZinc interface☆56Updated 3 months ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆78Updated last month
- ⚙️ A conflict-driven nogood learning answer set solver☆117Updated this week
- Specify and synthesize systems using symbolic algorithms☆46Updated last week
- The HOL Light theorem prover☆429Updated this week
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 10 years ago
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆181Updated last month
- probabilistic programming for PL folks☆152Updated 3 years ago