small MiniZinc examples demonstrating various language features
☆134Sep 11, 2017Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The MiniZinc IDE☆172Apr 27, 2026Updated last week
- MiniZinc documentation☆16Feb 9, 2023Updated 3 years ago
- The Chuffed CP solver☆124Mar 17, 2026Updated last month
- web based visualizations of discrete optimization assignments☆27May 11, 2017Updated 8 years ago
- The CP solver Chuffed☆20Sep 26, 2016Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Yuck is a local-search constraint solver with FlatZinc interface☆62Mar 22, 2026Updated last month
- A Python wrapper for the MiniZinc tool pipeline.☆55Feb 18, 2022Updated 4 years ago
- A VS Code extension supporting for Picat language☆18Oct 27, 2018Updated 7 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- Generic Constraint Development Environment☆323Feb 23, 2026Updated 2 months ago
- Resources from the Polyconf 2015 talk & relational interpreters workshop☆16Jul 5, 2015Updated 10 years ago
- Modeling and Programming with Gecode☆50Feb 18, 2026Updated 2 months ago
- ☆11Sep 21, 2025Updated 7 months ago
- Monadic Constraint Programming framework☆28May 9, 2018Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- programs written in Picat☆11Feb 10, 2026Updated 2 months ago
- An open-source Java library for Constraint Programming☆765Updated this week
- Syntax highlighting for minizinc (CP) and gringo (ASP) source code.☆17Feb 28, 2022Updated 4 years ago
- Algorithm Selection scenario data☆30Sep 29, 2025Updated 7 months ago
- Mirror of Apache Qpid Proton-J☆37Apr 7, 2026Updated 3 weeks ago
- A Google Chrome extension to download Udacity.com videos for offline watching☆40Dec 4, 2013Updated 12 years ago
- Project Finance and Excel - Build Financial Models from Scratch, by Packt Publishing☆24Jun 9, 2023Updated 2 years ago
- CP+SAT solver framework built to be reliable, performant, and extensible☆31Updated this week
- A curated list of awesome OR-Tools community resources.☆196Apr 20, 2026Updated 2 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 6 years ago
- provides iSAX Java implementation☆14Jun 13, 2015Updated 10 years ago
- Binary Programming Formulation for Learning Classification Trees Using Cplex☆12Nov 14, 2018Updated 7 years ago
- Supervisor trees for Go☆11Nov 4, 2017Updated 8 years ago
- F# Implementation of The Elm Architecture☆29Apr 27, 2021Updated 5 years ago
- The watchdog project.☆83Mar 26, 2012Updated 14 years ago
- A minimal, browseable, read-only, memory-based filesystem in Go.☆12Jul 10, 2019Updated 6 years ago
- ☆32Feb 22, 2024Updated 2 years ago
- prototyping logic programming in Scala☆43Mar 25, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Apr 20, 2015Updated 11 years ago
- Constraint Logic Programming over Integers☆209Feb 5, 2024Updated 2 years ago
- A constraint modelling and rewriting library and compiler framework written in rust☆31Apr 20, 2026Updated 2 weeks ago
- domain driven design in Go☆14Aug 18, 2020Updated 5 years ago
- Chatops toolkit for Slack. Support to Kubernetes and much more!☆29Dec 15, 2023Updated 2 years ago
- Code for new techniques of VLSI placement☆13Oct 11, 2013Updated 12 years ago
- Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992☆33Aug 13, 2020Updated 5 years ago