diff options
| author | Pasha <pasha@member.fsf.org> | 2023-01-27 00:54:07 +0000 |
|---|---|---|
| committer | Pasha <pasha@member.fsf.org> | 2023-01-27 00:54:07 +0000 |
| commit | ef800d4ffafdbde7d7a172ad73bd984b1695c138 (patch) | |
| tree | 920cc189130f1e98f252283fce94851443641a6d /glpk-5.0/examples/sample.cnf | |
| parent | ec4ae3c2b5cb0e83fb667f14f832ea94f68ef075 (diff) | |
| download | oneapi-ef800d4ffafdbde7d7a172ad73bd984b1695c138.tar.gz oneapi-ef800d4ffafdbde7d7a172ad73bd984b1695c138.tar.bz2 | |
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 |