MiniZinc / minizinc-examplesLinks
small MiniZinc examples demonstrating various language features
☆125Updated 8 years ago
Alternatives and similar repositories for minizinc-examples
Users that are interested in minizinc-examples are comparing it to the libraries listed below
Sorting:
- My public programs and models - mostly combinatorial problems and puzzles☆391Updated 3 weeks ago
- A benchmark library for constraints☆98Updated 3 weeks ago
- ☆69Updated last year
- The MiniZinc IDE☆162Updated this week
- A CP Portfolio Solver☆26Updated 2 years ago
- MiniZinc documentation☆16Updated 2 years ago
- The Chuffed CP solver☆116Updated this week
- Conjure: The Automated Constraint Modelling Tool☆108Updated 2 weeks ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- The CP solver Chuffed☆20Updated 9 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆130Updated last week
- The MiniZinc compiler☆639Updated last week
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 4 years ago
- web based visualizations of discrete optimization assignments☆27Updated 8 years ago
- Example Problems and Assignments for Prolog☆33Updated 12 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Learn Prolog Now LaTeX sources☆98Updated 3 years ago
- probabilistic programming for PL folks☆159Updated 4 years ago
- Prolog Tutorials and Information☆173Updated 6 years ago
- A VS Code extension supporting for Picat language☆18Updated 7 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆78Updated 2 months ago
- The Definition of Standard ML, Revised (1997)☆117Updated 8 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- git mirror of the Munich isabelle hg repository☆127Updated last month
- The Definition of Standard ML (1990)☆124Updated 11 years ago
- Kodkod solver for relational logic☆80Updated 2 years ago
- A probabilistic programming language☆322Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Generic Constraint Development Environment☆312Updated this week
- Yuck is a local-search constraint solver with FlatZinc interface☆61Updated 2 weeks ago