M2_SETI/IA/seti_master-master/code/formula_p1.marabou

12 lines
156 B
Text
Raw Normal View History

2023-01-29 16:56:40 +01:00
x0 >= 0.6
x0 <= 0.6798577687
x1 >= -0.5
x1 <= 0.5
x2 >= -0.5
x2 <= 0.5
x3 >= 0.45
x3 <= 0.5
x4 >= -0.5
x4 <= -0.45
y0 >= 3.9911256459