MiniZinc interoperability

[mhlr]

Summary

Reading and writing Pyomo models to and from MiniZinc and FlatZinc files.

Rationale

Pyomo & MiniZinc share similar goal as solver agnostic tools for specifying optimization problems. MiniZinc is a static file format while Pyomo allows programmatic constrution, better suited to complex structured problems. Each supports a set of back ends. Having interoperability would allow both systems to use the union of their respective solvers. It would also be beneficial to use Pyomo to construct large structured MiniZinc models that are cumbersome and error prone to write by hand.

Description

The following components wold be required

• Pyomo to MiniZinc writer. A FlatZinc writer is not require since MiniZinc files can be compiled to FlatZinc
• FlatZinc to Pyomo parser. A MiniZinc parser is not required since MiniZinc can be compiled to FlatZinc.

[mrmundt]

Hello, @mhlr. We appreciate your suggestion! We will discuss this request and add it to our backlog for future efforts.

NOTE: There is no guarantee that we will implement all suggestions. We do, however, accept external contributions. If you are interested in expediting this request, we encourage you to review our Contribution Guide.