15 lines
357 B
INI
15 lines
357 B
INI
|
|
c 'c' means comment
|
|
|
|
c I think it was f"p {number-of-variables} {number-of-clauses}"?
|
|
c then each line is a seperate clause, which is a list of variable indexes
|
|
c possibly negative, meaning complement, ending in 0?
|
|
c '0' is the "sentinel", so "1" is the first variable index.
|
|
c like this:
|
|
|
|
p cnf 3 3
|
|
+1 +2
|
|
-1 +3
|
|
+2 +3
|
|
|
|
c a correct solution is: 0 1 0
|