1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
### Test Solve Unsat
== begin <simplex env> ========================================
on integers ? true
--- values of non-basic ---------------------------
0 <= [ x == 0 ] < +∞ (computed OK ) (flag OK )
0 <= [ y == 0 ] < +∞ (computed OK ) (flag OK )
---------------------------------------------------
--- values of basic -------------------------------
---------------------------------------------------
-∞ < [ z == 0 ] <= -1 (computed KO(Upper)) (flag KO(Upper))
--- matrix ----------------------------------------
z = (1) * x + (1) * y
---------------------------------------------------
--- sets of uses ----------------------------------
variables that use x are: z,
variables that use y are: z,
---------------------------------------------------
--- basic variables in fixme ----------------------
(fixme is empty)
---------------------------------------------------
--- simplex status --------------------------------
Unsat:x+y<=-1, x>=0, y>=0
== end <simplex env> ==========================================
|
