MiniZinc — це компілятор та середовище розробки для моделей з обмеженнями, який компілює моделі у мову FlatZinc, яка підтримується 15-тьма розвʼязувачами. З коробки поставляються Gecode, Chuffed, Google OR-Tools CP-SAT, HiGHS, та COIN-OR CBC. Використання MiniZinc дозволяє знаходити розвʼязки проблем, таких як наприклад мінімізація відходів при порізці матеріалу, пошук оптимальної послідовності дій, і тому подібне, без написання складних програм.
Домашня:
https://www.minizinc.org/Спробувати:
https://play.minizinc.dev/Проєкт:
https://github.com/MiniZinc/MiniZincIDE
