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☆389Updated this week
- A benchmark library for constraints☆97Updated this week
- The MiniZinc IDE☆160Updated 3 weeks ago
- ☆69Updated last year
- A CP Portfolio Solver☆26Updated 2 years ago
- Conjure: The Automated Constraint Modelling Tool☆106Updated last month
- probabilistic programming for PL folks☆158Updated 4 years ago
- The MiniZinc compiler☆634Updated 3 weeks ago
- The Chuffed CP solver☆113Updated this week
- The Design and Implementation of Probabilistic Programming Languages☆179Updated last year
- Example Problems and Assignments for Prolog☆33Updated 12 years ago
- MiniZinc documentation☆16Updated 2 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 4 years ago
- A probabilistic programming language☆321Updated 3 years ago
- The website for the MiniZinc constraint modelling system☆16Updated 2 weeks ago
- ⚙️ A conflict-driven nogood learning answer set solver☆127Updated this week
- The CP solver Chuffed☆20Updated 9 years ago
- Constraint Logic Programming over Finite Domains☆186Updated 5 years ago
- git mirror of the Munich isabelle hg repository☆128Updated 2 weeks ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- A VS Code extension supporting for Picat language☆18Updated 7 years ago
- Prolog Tutorials and Information☆173Updated 6 years ago
- Educational tool for relational algebra☆92Updated last year
- Adding a table of contents to Specifying Systems, TLA+.pdf☆66Updated 8 years ago
- Learn Prolog Now LaTeX sources☆89Updated 3 years ago
- Mathematical Components (the Book)☆147Updated 3 weeks ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆79Updated last month
- Automatically exported from code.google.com/p/full-maude☆16Updated last month
- Generic Constraint Development Environment☆313Updated 5 months ago