COIN-OR::LEMON - Graph Library

source: lemon-project-template-glpk/deps/glpk/examples/sample.cnf @ 10:5545663ca997

subpack-glpk
Last change on this file since 10:5545663ca997 was 9:33de93886c88, checked in by Alpar Juttner <alpar@…>, 13 years ago

Import GLPK 4.47

File size: 127 bytes
Line 
1c sample.cnf
2c
3c This is an example of the CNF-SAT problem data
4c in DIMACS format.
5c
6p cnf 4 3
71 2 0
8-4 3
9-2 0
10-1 4 0
11c
12c eof
Note: See TracBrowser for help on using the repository browser.