MiniZinc

High-level languageModel constraint satisfaction and optimisation problems using readable, intuitive logical constructs, with full type safety.Solver independentRun the same model using a variety of different solver technologies, without being locked into a particular solver.Pre-defined constraintsMiniZinc features a large library of pre-defined constraints, making modelling complex relationships simple.Fully featured development environmentUse the MiniZinc IDE to write and run models, visualise search and solutions, profile performance and more.In-depth learning materialsMiniZinc has comprehensive documentation, including the tutorial, several courses, the user manual, and library documentation.Integrate MiniZinc into your projectMiniZinc can be embedded into Python and JavaScript programs, and can even be used entirely from within the browser.