fix the problem that the binary of parsat_tnm is too large in satisifiablity
authorYanhua YanhuaSunLaptop <yanhuasun@vpn3-14652.near.uiuc.edu>
Tue, 30 Mar 2010 02:52:38 +0000 (21:52 -0500)
committerYanhua YanhuaSunLaptop <yanhuasun@vpn3-14652.near.uiuc.edu>
Tue, 30 Mar 2010 02:52:38 +0000 (21:52 -0500)
commit3a277b75358e9910302d03b5438aabe54f83a6ff
tree0ae23453ef70f6e51c7eadee90a764952ff6d36a
parent803d9f7d14955d1e36760a350c2560e4532b1012
fix the problem that the binary of parsat_tnm is too large in satisifiablity
examples/charm++/satisfiability/TNM/TNM.C
examples/charm++/satisfiability/minisat/Solver.C
examples/charm++/satisfiability/minisat/SolverTypes.h