Closed gomahajan closed 6 years ago
(assert (>= x0 0.0)) (assert (<= x0 10.0)) (assert (>= x1 0.0)) (assert (<= x1 10.0)) (assert (>= x2 0.0)) (assert (<= x2 10.0)) (assert (>= x3 0.0)) (assert (<= x3 10.0))
(assert (>= x0 0.0)) (assert (<= x0 10.0)) (assert (>= x1 0.0)) (assert (<= x1 10.0)) (assert (>= x2 0.0)) (assert (<= x2 10.0)) (assert (>= x3 0.0)) (assert (<= x3 10.0))