MiniZinc / minizinc-examplesLinks
small MiniZinc examples demonstrating various language features
☆125Updated 7 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☆383Updated last month
- A suite of MiniZinc benchmarks.☆85Updated 4 years ago
- A benchmark library for constraints☆95Updated this week
- ☆69Updated last year
- The MiniZinc IDE☆151Updated last month
- MiniZinc documentation☆16Updated 2 years ago
- A CP Portfolio Solver☆26Updated 2 years ago
- The Chuffed CP solver☆108Updated 3 months ago
- The MiniZinc compiler☆558Updated last month
- cplint is a suite of programs for reasoning with probabilistic logic programs☆78Updated 3 weeks ago
- Example Problems and Assignments for Prolog☆33Updated 12 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆126Updated last week
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- The website for the MiniZinc constraint modelling system☆16Updated 3 weeks ago
- A VS Code extension supporting for Picat language☆18Updated 6 years ago
- Learn Prolog Now LaTeX sources☆87Updated 2 years ago
- The CP solver Chuffed☆20Updated 8 years ago
- Conjure: The Automated Constraint Modelling Tool☆105Updated last week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆66Updated last year
- Automatically exported from code.google.com/p/full-maude☆16Updated last year
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 3 years ago
- The BLOG programming language☆98Updated 2 years ago
- probabilistic programming for PL folks☆157Updated 4 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- ☆42Updated 9 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated last month
- Prolog Tutorials and Information☆171Updated 6 years ago
- Constraint Logic Programming over Finite Domains☆182Updated 5 years ago
- Modeling and Programming with Gecode☆51Updated 2 years ago