add an test case example file_50 for satisfiability problem
authorYanhua YanhuaSunLaptop <yanhuasun@vpn3-14460.near.uiuc.edu>
Tue, 23 Mar 2010 17:19:50 +0000 (12:19 -0500)
committerYanhua YanhuaSunLaptop <yanhuasun@vpn3-14460.near.uiuc.edu>
Tue, 23 Mar 2010 17:19:50 +0000 (12:19 -0500)
commit41c70fffb44feecf555e29bb1e64fd3eee05d9ca
tree5abcd22796658a6cfb87269c1b84faab0ad25010
parent53982d6498184d929991713d4520d007dbf1ec68
add an test case example file_50 for satisfiability problem
examples/charm++/satisfiability/example_50.cnf [new file with mode: 0644]