Loading ea68bbf8-ff26-4323-91e8-8e2d68ae4c14/instances/models_MPS_MiniZinc_Challenges_2012_2016.tar.gz 0 → 100644LFS +134 B File added.No diff preview for this file type. View file ea68bbf8-ff26-4323-91e8-8e2d68ae4c14/meta.yml 0 → 100644 +12 −0 Original line number Diff line number Diff line company: Monash University creator: Gleb Belov description: Linearized Constraint Programming models of the MiniZinc Challenges 2012-2016. I should be able to produce versions with indicator constraints supported by Gurobi and CPLEX, however don't know if you can use them and if there is a standard format. These MPS were produced by Gurobi 7.0.2 using the MiniZinc develop branch on eb536656062ca13325a96b5d0881742c7d0e3c38 email: gleb.belov@monash.edu license: cc-license misc: '' name: Gleb Belov other-license: '' owner: Data61, Australia ea68bbf8-ff26-4323-91e8-8e2d68ae4c14/models/models_MZN_MiniZinc_Challenge_2012_2016.tar.gz 0 → 100644LFS +133 B File added.No diff preview for this file type. View file ea68bbf8-ff26-4323-91e8-8e2d68ae4c14/sub.bib 0 → 100644 +15 −0 Original line number Diff line number Diff line @Inbook{Belov2016, author="Belov, Gleb and Stuckey, Peter J. and Tack, Guido and Wallace, Mark", editor="Rueher, Michel", title="Improved Linearization of Constraint Programming Models", bookTitle="Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings", year="2016", publisher="Springer International Publishing", pages="49--65", isbn="978-3-319-44953-1", doi="10.1007/978-3-319-44953-1_4", url="http://dx.doi.org/10.1007/978-3-319-44953-1_4" } No newline at end of file Loading
ea68bbf8-ff26-4323-91e8-8e2d68ae4c14/instances/models_MPS_MiniZinc_Challenges_2012_2016.tar.gz 0 → 100644LFS +134 B File added.No diff preview for this file type. View file
ea68bbf8-ff26-4323-91e8-8e2d68ae4c14/meta.yml 0 → 100644 +12 −0 Original line number Diff line number Diff line company: Monash University creator: Gleb Belov description: Linearized Constraint Programming models of the MiniZinc Challenges 2012-2016. I should be able to produce versions with indicator constraints supported by Gurobi and CPLEX, however don't know if you can use them and if there is a standard format. These MPS were produced by Gurobi 7.0.2 using the MiniZinc develop branch on eb536656062ca13325a96b5d0881742c7d0e3c38 email: gleb.belov@monash.edu license: cc-license misc: '' name: Gleb Belov other-license: '' owner: Data61, Australia
ea68bbf8-ff26-4323-91e8-8e2d68ae4c14/models/models_MZN_MiniZinc_Challenge_2012_2016.tar.gz 0 → 100644LFS +133 B File added.No diff preview for this file type. View file
ea68bbf8-ff26-4323-91e8-8e2d68ae4c14/sub.bib 0 → 100644 +15 −0 Original line number Diff line number Diff line @Inbook{Belov2016, author="Belov, Gleb and Stuckey, Peter J. and Tack, Guido and Wallace, Mark", editor="Rueher, Michel", title="Improved Linearization of Constraint Programming Models", bookTitle="Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings", year="2016", publisher="Springer International Publishing", pages="49--65", isbn="978-3-319-44953-1", doi="10.1007/978-3-319-44953-1_4", url="http://dx.doi.org/10.1007/978-3-319-44953-1_4" } No newline at end of file