diff options
Diffstat (limited to 'glpk-5.0/examples/sample.cnf')
| -rw-r--r-- | glpk-5.0/examples/sample.cnf | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/glpk-5.0/examples/sample.cnf b/glpk-5.0/examples/sample.cnf new file mode 100644 index 0000000..508f150 --- /dev/null +++ b/glpk-5.0/examples/sample.cnf @@ -0,0 +1,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 |