☆70Mar 1, 2024Updated 2 years ago
Alternatives and similar repositories for specialization-examples
Users that are interested in specialization-examples are comparing it to the libraries listed below
Sorting:
- small MiniZinc examples demonstrating various language features☆126Sep 11, 2017Updated 8 years ago
- The MiniZinc IDE☆168Updated this week
- A suite of MiniZinc benchmarks.☆87Dec 12, 2025Updated 2 months ago
- The website for the MiniZinc constraint modelling system☆17Feb 9, 2026Updated 2 weeks ago
- Charter, TSC, and other governance documents.☆15Mar 13, 2024Updated last year
- My public programs and models - mostly combinatorial problems and puzzles☆398Nov 27, 2025Updated 3 months ago
- ☆12Nov 29, 2023Updated 2 years ago
- The MiniZinc compiler☆666Updated this week
- A Repository of Homebrew Formulae for COIN-OR Projects☆12Feb 18, 2025Updated last year
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Jan 8, 2014Updated 12 years ago
- MiniZinc documentation☆16Feb 9, 2023Updated 3 years ago
- A benchmark library for constraints☆99Oct 29, 2025Updated 4 months ago
- The CP solver Chuffed☆20Sep 26, 2016Updated 9 years ago
- A C++ Constraint Programming Library☆46May 9, 2024Updated last year
- Yuck is a local-search constraint solver with FlatZinc interface☆61Dec 23, 2025Updated 2 months ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆107Oct 27, 2023Updated 2 years ago
- A Python implementation of Simplex and Interior-Point algorithms for solving Linear Programs (LPs)☆25Jul 11, 2019Updated 6 years ago
- A Python parser for generating Python/C/Matlab solver interfaces☆43Aug 19, 2017Updated 8 years ago
- ☆32Feb 22, 2024Updated 2 years ago
- python-based build system used for building XED☆33Nov 24, 2025Updated 3 months ago
- Runtime code generation for x86 machine code☆26Sep 30, 2023Updated 2 years ago
- Generic Constraint Development Environment☆319Updated this week
- CSL styles bundled with Zotero client☆12Jan 26, 2026Updated last month
- Ardumoto Motor Driver Shield for Arduino, created by and available from SparkFun Electronics☆10Aug 13, 2019Updated 6 years ago
- GPTIPS2F: Symbolic Regression toolbox for MATLAB evolved☆11Jun 10, 2022Updated 3 years ago
- Altair8800_Mister☆13Dec 9, 2025Updated 2 months ago
- A collection of packages & settings in order to make the most of Github's Atom Text Editor while writing python.☆10Sep 5, 2017Updated 8 years ago
- ☆10Feb 12, 2020Updated 6 years ago
- The codebase contains the implementation for the paper "An asset subset-constrained minimax optimization framework for online portfolio s…☆11Dec 3, 2024Updated last year
- ☆13Jul 26, 2021Updated 4 years ago
- Example Systems using PowerDynamics.jl☆12Oct 10, 2022Updated 3 years ago
- pre-release.☆12Jul 15, 2015Updated 10 years ago
- Mass Parallel Secure Shell command execution☆12Nov 9, 2025Updated 3 months ago
- ☆10Jan 28, 2013Updated 13 years ago
- Basic Python libraries used by UGent's HPC group☆15Updated this week
- PySP: Stochastic Programming in Python☆43May 26, 2021Updated 4 years ago
- Building Petri Nets in Javascript using Interaction Category semantics☆14Feb 1, 2017Updated 9 years ago
- [Docker Cloud System Image] Provides a secure overlay network between nodes☆10Mar 20, 2018Updated 7 years ago
- GLPK, but it's Python.☆14Sep 3, 2024Updated last year