lemon-project-template-glpk

annotate 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
rev   line source
alpar@9 1 c sample.cnf
alpar@9 2 c
alpar@9 3 c This is an example of the CNF-SAT problem data
alpar@9 4 c in DIMACS format.
alpar@9 5 c
alpar@9 6 p cnf 4 3
alpar@9 7 1 2 0
alpar@9 8 -4 3
alpar@9 9 -2 0
alpar@9 10 -1 4 0
alpar@9 11 c
alpar@9 12 c eof