source:
lemon-project-template-glpk/deps/glpk/examples/sample.cnf
| Last change on this file 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.
