WIP: add some problems from vOptLib

.gitignore

@@ -1 +1,2 @@
 Manifest.toml
+vOptLib

Project.toml

@@ -11,14 +11,16 @@ MathOptInterface = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"
 Combinatorics = "1"
 HiGHS = "1"
 Ipopt = "1"
+JSON = "0.21"
 MathOptInterface = "1.19"
 Test = "<0.0.1, 1.6"
 julia = "1.6"
 
 [extras]
 HiGHS = "87dc4568-4c63-4d18-b0c0-bb2238e4078b"
 Ipopt = "b6b21f68-93f8-5de0-b562-5493be1d77c9"
+JSON = "682c06a0-de6a-54ab-a142-c8b1cf79cde6"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [targets]
-test = ["HiGHS", "Ipopt", "Test"]
+test = ["HiGHS", "Ipopt", "JSON", "Test"]

instances/models/2KP50-11.mof.json

@@ -0,0 +1 @@
+{"name":"MathOptFormat Model","version":{"major":1,"minor":7},"variables":[{"name":"x[1]"},{"name":"x[2]"},{"name":"x[3]"},{"name":"x[4]"},{"name":"x[5]"},{"name":"x[6]"},{"name":"x[7]"},{"name":"x[8]"},{"name":"x[9]"},{"name":"x[10]"},{"name":"x[11]"},{"name":"x[12]"},{"name":"x[13]"},{"name":"x[14]"},{"name":"x[15]"},{"name":"x[16]"},{"name":"x[17]"},{"name":"x[18]"},{"name":"x[19]"},{"name":"x[20]"},{"name":"x[21]"},{"name":"x[22]"},{"name":"x[23]"},{"name":"x[24]"},{"name":"x[25]"},{"name":"x[26]"},{"name":"x[27]"},{"name":"x[28]"},{"name":"x[29]"},{"name":"x[30]"},{"name":"x[31]"},{"name":"x[32]"},{"name":"x[33]"},{"name":"x[34]"},{"name":"x[35]"},{"name":"x[36]"},{"name":"x[37]"},{"name":"x[38]"},{"name":"x[39]"},{"name":"x[40]"},{"name":"x[41]"},{"name":"x[42]"},{"name":"x[43]"},{"name":"x[44]"},{"name":"x[45]"},{"name":"x[46]"},{"name":"x[47]"},{"name":"x[48]"},{"name":"x[49]"},{"name":"x[50]"}],"objective":{"sense":"max","function":{"type":"VectorAffineFunction","terms":[{"output_index":1,"scalar_term":{"coefficient":80.0,"variable":"x[1]"}},{"output_index":1,"scalar_term":{"coefficient":59.0,"variable":"x[2]"}},{"output_index":1,"scalar_term":{"coefficient":52.0,"variable":"x[3]"}},{"output_index":1,"scalar_term":{"coefficient":38.0,"variable":"x[4]"}},{"output_index":1,"scalar_term":{"coefficient":86.0,"variable":"x[5]"}},{"output_index":1,"scalar_term":{"coefficient":58.0,"variable":"x[6]"}},{"output_index":1,"scalar_term":{"coefficient":94.0,"variable":"x[7]"}},{"output_index":1,"scalar_term":{"coefficient":44.0,"variable":"x[8]"}},{"output_index":1,"scalar_term":{"coefficient":66.0,"variable":"x[9]"}},{"output_index":1,"scalar_term":{"coefficient":40.0,"variable":"x[10]"}},{"output_index":1,"scalar_term":{"coefficient":81.0,"variable":"x[11]"}},{"output_index":1,"scalar_term":{"coefficient":72.0,"variable":"x[12]"}},{"output_index":1,"scalar_term":{"coefficient":40.0,"variable":"x[13]"}},{"output_index":1,"scalar_term":{"coefficient":37.0,"variable":"x[14]"}},{"output_index":1,"scalar_term":{"coefficient":72.0,"variable":"x[15]"}},{"output_index":1,"scalar_term":{"coefficient":98.0,"variable":"x[16]"}},{"output_index":1,"scalar_term":{"coefficient":34.0,"variable":"x[17]"}},{"output_index":1,"scalar_term":{"coefficient":34.0,"variable":"x[18]"}},{"output_index":1,"scalar_term":{"coefficient":32.0,"variable":"x[19]"}},{"output_index":1,"scalar_term":{"coefficient":100.0,"variable":"x[20]"}},{"output_index":1,"scalar_term":{"coefficient":83.0,"variable":"x[21]"}},{"output_index":1,"scalar_term":{"coefficient":40.0,"variable":"x[22]"}},{"output_index":1,"scalar_term":{"coefficient":43.0,"variable":"x[23]"}},{"output_index":1,"scalar_term":{"coefficient":38.0,"variable":"x[24]"}},{"output_index":1,"scalar_term":{"coefficient":56.0,"variable":"x[25]"}},{"output_index":1,"scalar_term":{"coefficient":88.0,"variable":"x[26]"}},{"output_index":1,"scalar_term":{"coefficient":93.0,"variable":"x[27]"}},{"output_index":1,"scalar_term":{"coefficient":92.0,"variable":"x[28]"}},{"output_index":1,"scalar_term":{"coefficient":100.0,"variable":"x[29]"}},{"output_index":1,"scalar_term":{"coefficient":98.0,"variable":"x[30]"}},{"output_index":1,"scalar_term":{"coefficient":79.0,"variable":"x[31]"}},{"output_index":1,"scalar_term":{"coefficient":96.0,"variable":"x[32]"}},{"output_index":1,"scalar_term":{"coefficient":93.0,"variable":"x[33]"}},{"output_index":1,"scalar_term":{"coefficient":62.0,"variable":"x[34]"}},{"output_index":1,"scalar_term":{"coefficient":90.0,"variable":"x[35]"}},{"output_index":1,"scalar_term":{"coefficient":76.0,"variable":"x[36]"}},{"output_index":1,"scalar_term":{"coefficient":94.0,"variable":"x[37]"}},{"output_index":1,"scalar_term":{"coefficient":53.0,"variable":"x[38]"}},{"output_index":1,"scalar_term":{"coefficient":50.0,"variable":"x[39]"}},{"output_index":1,"scalar_term":{"coefficient":49.0,"variable":"x[40]"}},{"output_index":1,"scalar_term":{"coefficient":57.0,"variable":"x[41]"}},{"output_index":1,"scalar_term":{"coefficient":56.0,"variable":"x[42]"}},{"output_index":1,"scalar_term":{"coefficient":66.0,"variable":"x[43]"}},{"output_index":1,"scalar_term":{"coefficient":91.0,"variable":"x[44]"}},{"output_index":1,"scalar_term":{"coefficient":93.0,"variable":"x[45]"}},{"output_index":1,"scalar_term":{"coefficient":78.0,"variable":"x[46]"}},{"output_index":1,"scalar_term":{"coefficient":76.0,"variable":"x[47]"}},{"output_index":1,"scalar_term":{"coefficient":31.0,"variable":"x[48]"}},{"output_index":1,"scalar_term":{"coefficient":36.0,"variable":"x[49]"}},{"output_index":1,"scalar_term":{"coefficient":82.0,"variable":"x[50]"}},{"output_index":2,"scalar_term":{"coefficient":62.0,"variable":"x[1]"}},{"output_index":2,"scalar_term":{"coefficient":80.0,"variable":"x[2]"}},{"output_index":2,"scalar_term":{"coefficient":67.0,"variable":"x[3]"}},{"output_index":2,"scalar_term":{"coefficient":92.0,"variable":"x[4]"}},{"output_index":2,"scalar_term":{"coefficient":35.0,"variable":"x[5]"}},{"output_index":2,"scalar_term":{"coefficient":41.0,"variable":"x[6]"}},{"output_index":2,"scalar_term":{"coefficient":95.0,"variable":"x[7]"}},{"output_index":2,"scalar_term":{"coefficient":89.0,"variable":"x[8]"}},{"output_index":2,"scalar_term":{"coefficient":53.0,"variable":"x[9]"}},{"output_index":2,"scalar_term":{"coefficient":52.0,"variable":"x[10]"}},{"output_index":2,"scalar_term":{"coefficient":63.0,"variable":"x[11]"}},{"output_index":2,"scalar_term":{"coefficient":54.0,"variable":"x[12]"}},{"output_index":2,"scalar_term":{"coefficient":89.0,"variable":"x[13]"}},{"output_index":2,"scalar_term":{"coefficient":42.0,"variable":"x[14]"}},{"output_index":2,"scalar_term":{"coefficient":31.0,"variable":"x[15]"}},{"output_index":2,"scalar_term":{"coefficient":54.0,"variable":"x[16]"}},{"output_index":2,"scalar_term":{"coefficient":31.0,"variable":"x[17]"}},{"output_index":2,"scalar_term":{"coefficient":31.0,"variable":"x[18]"}},{"output_index":2,"scalar_term":{"coefficient":82.0,"variable":"x[19]"}},{"output_index":2,"scalar_term":{"coefficient":87.0,"variable":"x[20]"}},{"output_index":2,"scalar_term":{"coefficient":67.0,"variable":"x[21]"}},{"output_index":2,"scalar_term":{"coefficient":58.0,"variable":"x[22]"}},{"output_index":2,"scalar_term":{"coefficient":51.0,"variable":"x[23]"}},{"output_index":2,"scalar_term":{"coefficient":65.0,"variable":"x[24]"}},{"output_index":2,"scalar_term":{"coefficient":80.0,"variable":"x[25]"}},{"output_index":2,"scalar_term":{"coefficient":36.0,"variable":"x[26]"}},{"output_index":2,"scalar_term":{"coefficient":67.0,"variable":"x[27]"}},{"output_index":2,"scalar_term":{"coefficient":47.0,"variable":"x[28]"}},{"output_index":2,"scalar_term":{"coefficient":58.0,"variable":"x[29]"}},{"output_index":2,"scalar_term":{"coefficient":49.0,"variable":"x[30]"}},{"output_index":2,"scalar_term":{"coefficient":53.0,"variable":"x[31]"}},{"output_index":2,"scalar_term":{"coefficient":57.0,"variable":"x[32]"}},{"output_index":2,"scalar_term":{"coefficient":94.0,"variable":"x[33]"}},{"output_index":2,"scalar_term":{"coefficient":51.0,"variable":"x[34]"}},{"output_index":2,"scalar_term":{"coefficient":48.0,"variable":"x[35]"}},{"output_index":2,"scalar_term":{"coefficient":90.0,"variable":"x[36]"}},{"output_index":2,"scalar_term":{"coefficient":35.0,"variable":"x[37]"}},{"output_index":2,"scalar_term":{"coefficient":43.0,"variable":"x[38]"}},{"output_index":2,"scalar_term":{"coefficient":61.0,"variable":"x[39]"}},{"output_index":2,"scalar_term":{"coefficient":57.0,"variable":"x[40]"}},{"output_index":2,"scalar_term":{"coefficient":57.0,"variable":"x[41]"}},{"output_index":2,"scalar_term":{"coefficient":76.0,"variable":"x[42]"}},{"output_index":2,"scalar_term":{"coefficient":92.0,"variable":"x[43]"}},{"output_index":2,"scalar_term":{"coefficient":45.0,"variable":"x[44]"}},{"output_index":2,"scalar_term":{"coefficient":39.0,"variable":"x[45]"}},{"output_index":2,"scalar_term":{"coefficient":33.0,"variable":"x[46]"}},{"output_index":2,"scalar_term":{"coefficient":50.0,"variable":"x[47]"}},{"output_index":2,"scalar_term":{"coefficient":56.0,"variable":"x[48]"}},{"output_index":2,"scalar_term":{"coefficient":68.0,"variable":"x[49]"}},{"output_index":2,"scalar_term":{"coefficient":47.0,"variable":"x[50]"}}],"constants":[0.0,0.0]}},"constraints":[{"name":"c1","function":{"type":"ScalarAffineFunction","terms":[{"coefficient":25.0,"variable":"x[1]"},{"coefficient":26.0,"variable":"x[2]"},{"coefficient":28.0,"variable":"x[3]"},{"coefficient":25.0,"variable":"x[4]"},{"coefficient":20.0,"variable":"x[5]"},{"coefficient":38.0,"variable":"x[6]"},{"coefficient":38.0,"variable":"x[7]"},{"coefficient":49.0,"variable":"x[8]"},{"coefficient":28.0,"variable":"x[9]"},{"coefficient":22.0,"variable":"x[10]"},{"coefficient":34.0,"variable":"x[11]"},{"coefficient":39.0,"variable":"x[12]"},{"coefficient":26.0,"variable":"x[13]"},{"coefficient":21.0,"variable":"x[14]"},{"coefficient":36.0,"variable":"x[15]"},{"coefficient":47.0,"variable":"x[16]"},{"coefficient":38.0,"variable":"x[17]"},{"coefficient":50.0,"variable":"x[18]"},{"coefficient":39.0,"variable":"x[19]"},{"coefficient":50.0,"variable":"x[20]"},{"coefficient":45.0,"variable":"x[21]"},{"coefficient":27.0,"variable":"x[22]"},{"coefficient":49.0,"variable":"x[23]"},{"coefficient":24.0,"variable":"x[24]"},{"coefficient":48.0,"variable":"x[25]"},{"coefficient":32.0,"variable":"x[26]"},{"coefficient":47.0,"variable":"x[27]"},{"coefficient":24.0,"variable":"x[28]"},{"coefficient":43.0,"variable":"x[29]"},{"coefficient":27.0,"variable":"x[30]"},{"coefficient":32.0,"variable":"x[31]"},{"coefficient":48.0,"variable":"x[32]"},{"coefficient":35.0,"variable":"x[33]"},{"coefficient":22.0,"variable":"x[34]"},{"coefficient":34.0,"variable":"x[35]"},{"coefficient":31.0,"variable":"x[36]"},{"coefficient":31.0,"variable":"x[37]"},{"coefficient":36.0,"variable":"x[38]"},{"coefficient":50.0,"variable":"x[39]"},{"coefficient":23.0,"variable":"x[40]"},{"coefficient":33.0,"variable":"x[41]"},{"coefficient":24.0,"variable":"x[42]"},{"coefficient":28.0,"variable":"x[43]"},{"coefficient":35.0,"variable":"x[44]"},{"coefficient":22.0,"variable":"x[45]"},{"coefficient":26.0,"variable":"x[46]"},{"coefficient":32.0,"variable":"x[47]"},{"coefficient":21.0,"variable":"x[48]"},{"coefficient":20.0,"variable":"x[49]"},{"coefficient":29.0,"variable":"x[50]"}],"constant":0.0},"set":{"type":"LessThan","upper":187.0}},{"function":{"type":"Variable","name":"x[1]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[2]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[3]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[4]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[5]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[6]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[7]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[8]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[9]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[10]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[11]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[12]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[13]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[14]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[15]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[16]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[17]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[18]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[19]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[20]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[21]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[22]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[23]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[24]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[25]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[26]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[27]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[28]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[29]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[30]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[31]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[32]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[33]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[34]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[35]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[36]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[37]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[38]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[39]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[40]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[41]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[42]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[43]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[44]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[45]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[46]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[47]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[48]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[49]"},"set":{"type":"ZeroOne"}},{"function":{"type":"Variable","name":"x[50]"},"set":{"type":"ZeroOne"}}]}