From ef800d4ffafdbde7d7a172ad73bd984b1695c138 Mon Sep 17 00:00:00 2001 From: Pasha Date: Fri, 27 Jan 2023 00:54:07 +0000 Subject: simplex-glpk with modified glpk for fpga --- glpk-5.0/examples/sample.cnf | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 glpk-5.0/examples/sample.cnf (limited to 'glpk-5.0/examples/sample.cnf') 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 -- cgit v1.2.1