demo/sat-2.in
changeset 2459 ea943997a8fe
equal deleted inserted replaced
-1:000000000000 0:3161dd9c4a2d
       
     1 x1 or x2
       
     2 x2 or not x3
       
     3 x3 or not x1