// Discover to Manage
MiniZinc
Enterprise Deployment Package for
MiniZinc
Publisher | MiniZinc |
---|---|
License Type | MPL-2.0 |
Product Homepage |
Description:
MiniZinc is a free and open-source constraint modeling language.
You can use MiniZinc to model constraint satisfaction and optimization 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.
Contact our experts
Are you interested in our Package Store, need further information, or have other questions? We will support you with your request – contact us today.
MiniZinc
Description:
MiniZinc is a free and open-source constraint modeling language.
You can use MiniZinc to model constraint satisfaction and optimization 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.
Contact our experts
Are you interested in our Package Store, need further information, or have other questions? We will support you with your request – contact us today.