The MiniZinc IDE
☆168Feb 26, 2026Updated last week
Alternatives and similar repositories for MiniZincIDE
Users that are interested in MiniZincIDE are comparing it to the libraries listed below
Sorting:
- The MiniZinc compiler☆666Feb 25, 2026Updated last week
- Access to all MiniZinc functionality directly from Python☆201Dec 15, 2025Updated 2 months ago
- ☆70Mar 1, 2024Updated 2 years ago
- Generic Constraint Development Environment☆319Feb 23, 2026Updated last week
- A CP Portfolio Solver☆26Apr 18, 2023Updated 2 years ago
- The CP solver Chuffed☆20Sep 26, 2016Updated 9 years ago
- My public programs and models - mostly combinatorial problems and puzzles☆398Nov 27, 2025Updated 3 months ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Feb 18, 2022Updated 4 years ago
- MiniZinc documentation☆16Feb 9, 2023Updated 3 years ago
- ☆32Feb 22, 2024Updated 2 years ago
- Yuck is a local-search constraint solver with FlatZinc interface☆61Dec 23, 2025Updated 2 months ago
- A constraint modelling and rewriting library and compiler framework written in rust☆31Feb 23, 2026Updated last week
- A benchmark library for constraints☆99Updated this week
- A curated list of awesome OR-Tools community resources.☆188Oct 22, 2024Updated last year
- ☆11Sep 21, 2025Updated 5 months ago
- A new language for optimization☆13May 17, 2021Updated 4 years ago
- ☆12Nov 29, 2023Updated 2 years ago
- Awk-like tool using python☆11Aug 4, 2020Updated 5 years ago
- My unofficial picat http://picat-lang.org/ repository☆31Jan 11, 2024Updated 2 years ago
- Verified, Incremental, Binary Editing with Synthesis☆55Mar 7, 2023Updated 2 years ago
- Add editing UI and other power-user features to Datasette.☆14Mar 4, 2023Updated 3 years ago
- Original high performance simplex solver of Qi Huangfu☆13Oct 12, 2018Updated 7 years ago
- Font for turning J into APL☆12Sep 30, 2018Updated 7 years ago
- An open-source Java library for Constraint Programming☆754Feb 11, 2026Updated 3 weeks ago
- R Interface to MiniZinc☆14Oct 17, 2021Updated 4 years ago
- Multinomials for the Mathematical Components library.☆16Updated this week
- Nutmeg – a MIP and CP branch-and-check solver☆33Jun 22, 2023Updated 2 years ago
- Emacs mode for editing MiniZinc model file☆12Apr 26, 2023Updated 2 years ago
- A standalone local search solver for general mixed integer programming☆45Feb 12, 2026Updated 2 weeks ago
- Cell language C++ runtime☆18Oct 1, 2020Updated 5 years ago
- SETL4 brings the raw power and speed of SPITBOL to non-numeric computation using set-theoretic constructs.☆14Jun 13, 2019Updated 6 years ago
- dsmtpd is a small SMTP server for debugging and the developers.☆26Jan 7, 2026Updated last month
- An environment variable manager for Racket applications☆17Apr 27, 2023Updated 2 years ago
- Forth interpreter in F#☆17Oct 26, 2023Updated 2 years ago
- 100+ solvers for logic puzzles with ortools, 41k+ datasets for 130+ puzzles, e.g. Nonogram, Slitherlink, Fillomino, Creek, Akari, Yajili…☆27Feb 15, 2026Updated 2 weeks ago
- Add the ability to save favorite folders to JupyterLab for quicker browsing☆19Feb 13, 2026Updated 2 weeks ago
- Unison's source code☆110Mar 5, 2024Updated 2 years ago
- A Datasette plugin that adds UI elements to edit, insert, or delete rows in SQLite tables☆23Feb 9, 2026Updated 3 weeks ago
- JMiniZinc☆18Oct 13, 2020Updated 5 years ago