Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2020
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2002.03447 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910252644958208 |
|---|---|
| author | Legat, Benoit Dowson, Oscar Garcia, Joaquim Dias Lubin, Miles |
| author_facet | Legat, Benoit Dowson, Oscar Garcia, Joaquim Dias Lubin, Miles |
| contents | We introduce MathOptInterface, an abstract data structure for representing mathematical optimization problems based on combining pre-defined functions and sets. MathOptInterface is significantly more general than existing data structures in the literature, encompassing, for example, a spectrum of problems classes from integer programming with indicator constraints to bilinear semidefinite programming. We also outline an automated rewriting system between equivalent formulations of a constraint. MathOptInterface has been implemented in practice, forming the foundation of a recent rewrite of JuMP, an open-source algebraic modeling language in the Julia language. The regularity of the MathOptInterface representation leads naturally to a general file format for mathematical optimization we call MathOptFormat. In addition, the automated rewriting system provides modeling power to users while making it easy to connect new solvers to JuMP. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2002_03447 |
| institution | arXiv |
| publishDate | 2020 |
| record_format | arxiv |
| spellingShingle | MathOptInterface: a data structure for mathematical optimization problems Legat, Benoit Dowson, Oscar Garcia, Joaquim Dias Lubin, Miles Optimization and Control We introduce MathOptInterface, an abstract data structure for representing mathematical optimization problems based on combining pre-defined functions and sets. MathOptInterface is significantly more general than existing data structures in the literature, encompassing, for example, a spectrum of problems classes from integer programming with indicator constraints to bilinear semidefinite programming. We also outline an automated rewriting system between equivalent formulations of a constraint. MathOptInterface has been implemented in practice, forming the foundation of a recent rewrite of JuMP, an open-source algebraic modeling language in the Julia language. The regularity of the MathOptInterface representation leads naturally to a general file format for mathematical optimization we call MathOptFormat. In addition, the automated rewriting system provides modeling power to users while making it easy to connect new solvers to JuMP. |
| title | MathOptInterface: a data structure for mathematical optimization problems |
| topic | Optimization and Control |
| url | https://arxiv.org/abs/2002.03447 |