lemon-project-template-glpk

view deps/glpk/examples/sample.cnf @ 11:4fc6ad2fb8a6

find changesets by author, revision, files, or words in the commit message
Test GLPK in src/main.cc
author Alpar Juttner <alpar@cs.elte.hu>
date Sun, 06 Nov 2011 21:43:29 +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