Skip to content

Instantly share code, notes, and snippets.

@mtanneau

mtanneau/cgcp.mof

Last active July 1, 2020 20:18
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mtanneau/a8d9dd32f9c6009f175ea7a49f176346 to your computer and use it in GitHub Desktop.
Save mtanneau/a8d9dd32f9c6009f175ea7a49f176346 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
cgcp.mof
{
"name": "MathOptFormat Model",
"version": {
"major": 0,
"minor": 4
},
"variables": [
{
"name": "x1"
},
{
"name": "x2"
},
{
"name": "x3"
},
{
"name": "x4"
},
{
"name": "x5"
},
{
"name": "x6"
},
{
"name": "x7"
},
{
"name": "x8"
},
{
"name": "x9"
},
{
"name": "x10"
},
{
"name": "x11"
},
{
"name": "x12"
},
{
"name": "x13"
},
{
"name": "x14"
},
{
"name": "x15"
},
{
"name": "x16"
},
{
"name": "x17"
},
{
"name": "x18"
},
{
"name": "u0"
},
{
"name": "v0"
},
{
"name": "x21"
},
{
"name": "x22"
},
{
"name": "x23"
},
{
"name": "x24"
},
{
"name": "x25"
},
{
"name": "x26"
},
{
"name": "x27"
},
{
"name": "x28"
},
{
"name": "x29"
},
{
"name": "x30"
},
{
"name": "x31"
},
{
"name": "x32"
},
{
"name": "x33"
},
{
"name": "x34"
},
{
"name": "x35"
},
{
"name": "x36"
},
{
"name": "x37"
},
{
"name": "x38"
},
{
"name": "x39"
},
{
"name": "x40"
},
{
"name": "x41"
},
{
"name": "x42"
},
{
"name": "x43"
},
{
"name": "x44"
},
{
"name": "x45"
},
{
"name": "x46"
},
{
"name": "x47"
},
{
"name": "x48"
},
{
"name": "x49"
},
{
"name": "x50"
},
{
"name": "η1"
},
{
"name": "η2"
},
{
"name": "v[1]"
},
{
"name": "v[2]"
},
{
"name": "v[3]"
},
{
"name": "v[4]"
},
{
"name": "v[5]"
},
{
"name": "v[6]"
},
{
"name": "v[7]"
},
{
"name": "v[8]"
},
{
"name": "v[9]"
},
{
"name": "v[10]"
},
{
"name": "v[11]"
},
{
"name": "v[12]"
},
{
"name": "v[13]"
},
{
"name": "v[14]"
},
{
"name": "v[15]"
},
{
"name": "v[16]"
},
{
"name": "v[17]"
},
{
"name": "v[18]"
},
{
"name": "v[19]"
}
],
"objective": {
"sense": "min",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.7515065162969226,
"variable": "u0"
},
{
"coefficient": 1.0,
"variable": "x21"
},
{
"coefficient": 1.0,
"variable": "x23"
},
{
"coefficient": 1.0,
"variable": "x25"
},
{
"coefficient": 5.2454804511092386,
"variable": "x31"
},
{
"coefficient": 194.75451954889076,
"variable": "x33"
},
{
"coefficient": 2.7515065162969226,
"variable": "x35"
},
{
"coefficient": 197.24849348370307,
"variable": "x37"
},
{
"coefficient": 8.587377945221366,
"variable": "x1"
},
{
"coefficient": -6.587377945221366,
"variable": "x2"
},
{
"coefficient": -5.509039097781523,
"variable": "x3"
},
{
"coefficient": 1.5647620435571619,
"variable": "x7"
},
{
"coefficient": 0.43523795644283814,
"variable": "x8"
},
{
"coefficient": 1.503013032593845,
"variable": "x9"
},
{
"coefficient": 28.515065162969226,
"variable": "x13"
},
{
"coefficient": -26.515065162969226,
"variable": "x14"
},
{
"coefficient": 10.490960902218477,
"variable": "x15"
},
{
"coefficient": 7.587377945221366,
"variable": "x39"
},
{
"coefficient": 5.2454804511092386,
"variable": "x41"
},
{
"coefficient": 0.5647620435571619,
"variable": "x43"
},
{
"coefficient": 2.7515065162969226,
"variable": "x45"
},
{
"coefficient": 8.152139988778528,
"variable": "x47"
},
{
"coefficient": 27.515065162969226,
"variable": "x49"
},
{
"coefficient": 1.0,
"variable": "η1"
}
],
"constant": 0.0
}
},
"constraints": [
{
"name": "c8",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": 1.0,
"variable": "v[1]"
},
{
"coefficient": 1.0,
"variable": "v[11]"
},
{
"coefficient": -1.0,
"variable": "v[12]"
},
{
"coefficient": -1.0,
"variable": "x39"
},
{
"coefficient": 1.0,
"variable": "x40"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c9",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.333333333333333,
"variable": "v[6]"
},
{
"coefficient": 1.0,
"variable": "v[7]"
},
{
"coefficient": -1.0,
"variable": "v[8]"
},
{
"coefficient": 2.0,
"variable": "v[13]"
},
{
"coefficient": 2.0,
"variable": "v[19]"
},
{
"coefficient": -1.0,
"variable": "x41"
},
{
"coefficient": 1.0,
"variable": "x42"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c10",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": 1.0,
"variable": "v[1]"
},
{
"coefficient": 1.0,
"variable": "v[14]"
},
{
"coefficient": -1.0,
"variable": "v[15]"
},
{
"coefficient": -1.0,
"variable": "x43"
},
{
"coefficient": 1.0,
"variable": "x44"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c11",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": 1.0,
"variable": "v[5]"
},
{
"coefficient": -1.0,
"variable": "v[6]"
},
{
"coefficient": 1.0,
"variable": "v[9]"
},
{
"coefficient": -1.0,
"variable": "v[10]"
},
{
"coefficient": 2.0,
"variable": "v[16]"
},
{
"coefficient": 1.0,
"variable": "u0"
},
{
"coefficient": 1.0,
"variable": "v0"
},
{
"coefficient": -1.0,
"variable": "x45"
},
{
"coefficient": 1.0,
"variable": "x46"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c12",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[1]"
},
{
"coefficient": -1.0,
"variable": "x47"
},
{
"coefficient": 1.0,
"variable": "x48"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c13",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.1,
"variable": "v[5]"
},
{
"coefficient": 1.0,
"variable": "v[17]"
},
{
"coefficient": -1.0,
"variable": "v[18]"
},
{
"coefficient": -1.0,
"variable": "x49"
},
{
"coefficient": 1.0,
"variable": "x50"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c14",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[2]"
},
{
"coefficient": -1.0,
"variable": "x21"
},
{
"coefficient": 1.0,
"variable": "x22"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c15",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[3]"
},
{
"coefficient": -1.0,
"variable": "x23"
},
{
"coefficient": 1.0,
"variable": "x24"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c16",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[4]"
},
{
"coefficient": -1.0,
"variable": "x25"
},
{
"coefficient": 1.0,
"variable": "x26"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c17",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[5]"
},
{
"coefficient": -1.0,
"variable": "x27"
},
{
"coefficient": 1.0,
"variable": "x28"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c18",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[6]"
},
{
"coefficient": -1.0,
"variable": "x29"
},
{
"coefficient": 1.0,
"variable": "x30"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c19",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[7]"
},
{
"coefficient": -1.0,
"variable": "x31"
},
{
"coefficient": 1.0,
"variable": "x32"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c20",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[8]"
},
{
"coefficient": -1.0,
"variable": "x33"
},
{
"coefficient": 1.0,
"variable": "x34"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c21",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[9]"
},
{
"coefficient": -1.0,
"variable": "x35"
},
{
"coefficient": 1.0,
"variable": "x36"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c22",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[10]"
},
{
"coefficient": -1.0,
"variable": "x37"
},
{
"coefficient": 1.0,
"variable": "x38"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c23",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[11]"
},
{
"coefficient": -1.0,
"variable": "x1"
},
{
"coefficient": 1.0,
"variable": "x4"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c24",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[12]"
},
{
"coefficient": -1.0,
"variable": "x2"
},
{
"coefficient": 1.0,
"variable": "x5"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c25",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[13]"
},
{
"coefficient": -1.0,
"variable": "x3"
},
{
"coefficient": 1.0,
"variable": "x6"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c26",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[14]"
},
{
"coefficient": -1.0,
"variable": "x7"
},
{
"coefficient": 1.0,
"variable": "x10"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c27",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[15]"
},
{
"coefficient": -1.0,
"variable": "x8"
},
{
"coefficient": 1.0,
"variable": "x11"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c28",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[16]"
},
{
"coefficient": -1.0,
"variable": "x9"
},
{
"coefficient": 1.0,
"variable": "x12"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c29",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[17]"
},
{
"coefficient": -1.0,
"variable": "x13"
},
{
"coefficient": 1.0,
"variable": "x16"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c30",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[18]"
},
{
"coefficient": -1.0,
"variable": "x14"
},
{
"coefficient": 1.0,
"variable": "x17"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c31",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[19]"
},
{
"coefficient": -1.0,
"variable": "x15"
},
{
"coefficient": 1.0,
"variable": "x18"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "c32",
"function": {
"head": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "v[2]"
},
{
"coefficient": -1.0,
"variable": "v[3]"
},
{
"coefficient": -1.0,
"variable": "v[4]"
},
{
"coefficient": -4.5,
"variable": "v[6]"
},
{
"coefficient": -200.0,
"variable": "v[8]"
},
{
"coefficient": -200.0,
"variable": "v[10]"
},
{
"coefficient": -1.0,
"variable": "v[11]"
},
{
"coefficient": -1.0,
"variable": "v[12]"
},
{
"coefficient": 16.0,
"variable": "v[13]"
},
{
"coefficient": -1.0,
"variable": "v[14]"
},
{
"coefficient": -1.0,
"variable": "v[15]"
},
{
"coefficient": 4.0,
"variable": "v[16]"
},
{
"coefficient": -1.0,
"variable": "v[17]"
},
{
"coefficient": -1.0,
"variable": "v[18]"
},
{
"coefficient": 2.0,
"variable": "u0"
},
{
"coefficient": 3.0,
"variable": "v0"
},
{
"coefficient": 1.0,
"variable": "η1"
},
{
"coefficient": -1.0,
"variable": "η2"
}
],
"constant": 0.0
},
"set": {
"head": "EqualTo",
"value": 0.0
}
},
{
"name": "normalization",
"function": {
"head": "ScalarQuadraticFunction",
"affine_terms": [],
"quadratic_terms": [
{
"coefficient": 2.0,
"variable_1": "u0",
"variable_2": "u0"
},
{
"coefficient": 2.0,
"variable_1": "x45",
"variable_2": "u0"
},
{
"coefficient": 2.0,
"variable_1": "x21",
"variable_2": "x21"
},
{
"coefficient": 2.0,
"variable_1": "x23",
"variable_2": "x23"
},
{
"coefficient": 2.0,
"variable_1": "x25",
"variable_2": "x25"
},
{
"coefficient": 2.0,
"variable_1": "x27",
"variable_2": "x27"
},
{
"coefficient": 2.0,
"variable_1": "x29",
"variable_2": "x29"
},
{
"coefficient": 2.0,
"variable_1": "x31",
"variable_2": "x31"
},
{
"coefficient": 2.0,
"variable_1": "x33",
"variable_2": "x33"
},
{
"coefficient": 2.0,
"variable_1": "x35",
"variable_2": "x35"
},
{
"coefficient": 2.0,
"variable_1": "x37",
"variable_2": "x37"
},
{
"coefficient": 2.0,
"variable_1": "x1",
"variable_2": "x1"
},
{
"coefficient": 2.0,
"variable_1": "x2",
"variable_2": "x2"
},
{
"coefficient": 2.0,
"variable_1": "x3",
"variable_2": "x3"
},
{
"coefficient": 2.0,
"variable_1": "x7",
"variable_2": "x7"
},
{
"coefficient": 2.0,
"variable_1": "x8",
"variable_2": "x8"
},
{
"coefficient": 2.0,
"variable_1": "x9",
"variable_2": "x9"
},
{
"coefficient": 2.0,
"variable_1": "x13",
"variable_2": "x13"
},
{
"coefficient": 2.0,
"variable_1": "x14",
"variable_2": "x14"
},
{
"coefficient": 2.0,
"variable_1": "x15",
"variable_2": "x15"
},
{
"coefficient": 2.0,
"variable_1": "x39",
"variable_2": "x39"
},
{
"coefficient": 2.0,
"variable_1": "x41",
"variable_2": "x41"
},
{
"coefficient": 2.0,
"variable_1": "x43",
"variable_2": "x43"
},
{
"coefficient": 2.0,
"variable_1": "x45",
"variable_2": "x45"
},
{
"coefficient": 2.0,
"variable_1": "x47",
"variable_2": "x47"
},
{
"coefficient": 2.0,
"variable_1": "x49",
"variable_2": "x49"
}
],
"constant": 0.0
},
"set": {
"head": "LessThan",
"upper": 1.0
}
},
{
"name": "c1",
"function": {
"head": "VectorOfVariables",
"variables": [
"x1",
"x2",
"x3"
]
},
"set": {
"head": "SecondOrderCone",
"dimension": 3
}
},
{
"name": "c2",
"function": {
"head": "VectorOfVariables",
"variables": [
"x4",
"x5",
"x6"
]
},
"set": {
"head": "SecondOrderCone",
"dimension": 3
}
},
{
"name": "c3",
"function": {
"head": "VectorOfVariables",
"variables": [
"x7",
"x8",
"x9"
]
},
"set": {
"head": "SecondOrderCone",
"dimension": 3
}
},
{
"name": "c4",
"function": {
"head": "VectorOfVariables",
"variables": [
"x10",
"x11",
"x12"
]
},
"set": {
"head": "SecondOrderCone",
"dimension": 3
}
},
{
"name": "c5",
"function": {
"head": "VectorOfVariables",
"variables": [
"x13",
"x14",
"x15"
]
},
"set": {
"head": "SecondOrderCone",
"dimension": 3
}
},
{
"name": "c6",
"function": {
"head": "VectorOfVariables",
"variables": [
"x16",
"x17",
"x18"
]
},
"set": {
"head": "SecondOrderCone",
"dimension": 3
}
},
{
"name": "c19_1",
"function": {
"head": "SingleVariable",
"variable": "u0"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c20_1",
"function": {
"head": "SingleVariable",
"variable": "v0"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c21_1",
"function": {
"head": "SingleVariable",
"variable": "x21"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c22_1",
"function": {
"head": "SingleVariable",
"variable": "x22"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c23_1",
"function": {
"head": "SingleVariable",
"variable": "x23"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c24_1",
"function": {
"head": "SingleVariable",
"variable": "x24"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c25_1",
"function": {
"head": "SingleVariable",
"variable": "x25"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c26_1",
"function": {
"head": "SingleVariable",
"variable": "x26"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c27_1",
"function": {
"head": "SingleVariable",
"variable": "x27"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c28_1",
"function": {
"head": "SingleVariable",
"variable": "x28"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c29_1",
"function": {
"head": "SingleVariable",
"variable": "x29"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c30_1",
"function": {
"head": "SingleVariable",
"variable": "x30"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c31_1",
"function": {
"head": "SingleVariable",
"variable": "x31"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c32_1",
"function": {
"head": "SingleVariable",
"variable": "x32"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c33",
"function": {
"head": "SingleVariable",
"variable": "x33"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c34",
"function": {
"head": "SingleVariable",
"variable": "x34"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c35",
"function": {
"head": "SingleVariable",
"variable": "x35"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c36",
"function": {
"head": "SingleVariable",
"variable": "x36"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c37",
"function": {
"head": "SingleVariable",
"variable": "x37"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c38",
"function": {
"head": "SingleVariable",
"variable": "x38"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c39",
"function": {
"head": "SingleVariable",
"variable": "x39"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c40",
"function": {
"head": "SingleVariable",
"variable": "x40"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c41",
"function": {
"head": "SingleVariable",
"variable": "x41"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c42",
"function": {
"head": "SingleVariable",
"variable": "x42"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c43",
"function": {
"head": "SingleVariable",
"variable": "x43"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c44",
"function": {
"head": "SingleVariable",
"variable": "x44"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c45",
"function": {
"head": "SingleVariable",
"variable": "x45"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c46",
"function": {
"head": "SingleVariable",
"variable": "x46"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c47",
"function": {
"head": "SingleVariable",
"variable": "x47"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c48",
"function": {
"head": "SingleVariable",
"variable": "x48"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c49",
"function": {
"head": "SingleVariable",
"variable": "x49"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c50",
"function": {
"head": "SingleVariable",
"variable": "x50"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c51",
"function": {
"head": "SingleVariable",
"variable": "η1"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c52",
"function": {
"head": "SingleVariable",
"variable": "η2"
},
"set": {
"head": "GreaterThan",
"lower": 0.0
}
},
{
"name": "c39_1",
"function": {
"head": "SingleVariable",
"variable": "x39"
},
"set": {
"head": "LessThan",
"upper": 0.0
}
},
{
"name": "c40_1",
"function": {
"head": "SingleVariable",
"variable": "x40"
},
"set": {
"head": "LessThan",
"upper": 0.0
}
},
{
"name": "c41_1",
"function": {
"head": "SingleVariable",
"variable": "x41"
},
"set": {
"head": "LessThan",
"upper": 0.0
}
},
{
"name": "c42_1",
"function": {
"head": "SingleVariable",
"variable": "x42"
},
"set": {
"head": "LessThan",
"upper": 0.0
}
},
{
"name": "c43_1",
"function": {
"head": "SingleVariable",
"variable": "x43"
},
"set": {
"head": "LessThan",
"upper": 0.0
}
},
{
"name": "c44_1",
"function": {
"head": "SingleVariable",
"variable": "x44"
},
"set": {
"head": "LessThan",
"upper": 0.0
}
},
{
"name": "c45_1",
"function": {
"head": "SingleVariable",
"variable": "x45"
},
"set": {
"head": "LessThan",
"upper": 0.0
}
},
{
"name": "c46_1",
"function": {
"head": "SingleVariable",
"variable": "x46"
},
"set": {
"head": "LessThan",
"upper": 0.0
}
},
{
"name": "c47_1",
"function": {
"head": "SingleVariable",
"variable": "x47"
},
"set": {
"head": "LessThan",
"upper": 0.0
}
},
{
"name": "c48_1",
"function": {
"head": "SingleVariable",
"variable": "x48"
},
"set": {
"head": "LessThan",
"upper": 0.0
}
},
{
"name": "c49_1",
"function": {
"head": "SingleVariable",
"variable": "x49"
},
"set": {
"head": "LessThan",
"upper": 0.0
}
},
{
"name": "c50_1",
"function": {
"head": "SingleVariable",
"variable": "x50"
},
"set": {
"head": "LessThan",
"upper": 0.0
}
}
]
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment