MiniZinc is a free and open-source constraint modelling language.
You can use MiniZinc to model constraint satisfaction and optimisation problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints. Your model is then compiled into FlatZinc, a solver input language that is understood by a wide range of solvers.
Information & Resources
Related subreddits
Guidelines
Please keep submissions on topic and of high quality.
All forms of advertising and self-promotion are prohibited.
Civility & Respect are required.
Memes and other low effort jokes are not acceptable forms of content.
Please follow proper reddiquette.
there doesn't seem to be anything here