lemon-project-template-glpk

view deps/glpk/examples/sample.cnf @ 9:33de93886c88

find changesets by author, revision, files, or words in the commit message
Import GLPK 4.47
author Alpar Juttner <alpar@cs.elte.hu>
date Sun, 06 Nov 2011 20:59:10 +0100
parents
children
line source
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