Add 3 sat result verification program
authorYanhua YanhuaSunLaptop <yanhuasun@vpn3-14718.near.uiuc.edu>
Tue, 23 Mar 2010 20:53:36 +0000 (15:53 -0500)
committerYanhua YanhuaSunLaptop <yanhuasun@vpn3-14718.near.uiuc.edu>
Tue, 23 Mar 2010 20:53:36 +0000 (15:53 -0500)
commit9e8bde8d7a0d8d31bf63a59532ae11a7a7a6ac22
tree705d1aac05abac0a97e86edd347d7fc4d6006ca4
parentf30ad97b1062f0b5b9864a95c31a9f9777643213
Add 3 sat result verification program
examples/charm++/satisfiability/verify/main.C [new file with mode: 0644]