15 lines
103 B
INI
15 lines
103 B
INI
|
|
c 'c' means comment
|
|
|
|
p cnf 3 6
|
|
+1
|
|
+2
|
|
+3
|
|
-1
|
|
-2
|
|
-3
|
|
|
|
c no inputs satisfy the constraints.
|
|
|
|
|
|
|