11 lines
97 B
INI
11 lines
97 B
INI
|
|
c 'c' means comment
|
|
|
|
p cnf 3 3
|
|
+1 -1
|
|
+2 -2
|
|
+3 -3
|
|
|
|
c all inputs satisfy the constraints.
|
|
|
|
|