add an example of 9000 clauses for 3 sat progra
authorYanhua YanhuaSunLaptop <yanhuasun@vpn3-14718.near.uiuc.edu>
Tue, 23 Mar 2010 19:39:34 +0000 (14:39 -0500)
committerYanhua YanhuaSunLaptop <yanhuasun@vpn3-14718.near.uiuc.edu>
Tue, 23 Mar 2010 19:39:34 +0000 (14:39 -0500)
commitf30ad97b1062f0b5b9864a95c31a9f9777643213
treee396904b5e40b7d04f00a4a56d2d07237f82456d
parentbaaf2f273acf6a450151c481480ae532ea2aa2ae
add an example of 9000 clauses for 3 sat progra
examples/charm++/satisfiability/Solver.C
examples/charm++/satisfiability/example_9000.cnf [new file with mode: 0644]