glpk-5.0/examples/sample.cnf


1
2
3
4
5
6
7
8
9
10
11
12

c sample.cnf
c
c This is an example of the CNF-SAT problem data
c in DIMACS format.
c
p cnf 4 3
1 2 0
-4 3
-2 0
-1 4 0
c
c eof