toysolver-0.2.0: samples/gcnf/example.cnf

p cnf 7 3
1 2 3 0
-1 2 0
-2 3 0
-3 0
2 -3 0
-2 -3 0
-2 3 0