7 lines
56 B
Plaintext
7 lines
56 B
Plaintext
|
c Example CNF format file
|
||
|
c
|
||
|
p cnf 4 3
|
||
|
1 3 -4 0
|
||
|
4 0 2
|
||
|
-3
|