source:
lemon-project-template-glpk/deps/glpk/examples/sample.cnf
@
10:5545663ca997
Last change on this file since 10:5545663ca997 was 9:33de93886c88, checked in by , 13 years ago | |
---|---|
File size: 127 bytes |
Line | |
---|---|
1 | c sample.cnf |
2 | c |
3 | c This is an example of the CNF-SAT problem data |
4 | c in DIMACS format. |
5 | c |
6 | p cnf 4 3 |
7 | 1 2 0 |
8 | -4 3 |
9 | -2 0 |
10 | -1 4 0 |
11 | c |
12 | c eof |
Note: See TracBrowser
for help on using the repository browser.