replace ckvec with map in satisfiability program
authorYanhua YanhuaSunLaptop <yanhuasun@yanhua-suns-macbook-pro.local>
Sun, 4 Apr 2010 05:40:01 +0000 (00:40 -0500)
committerYanhua YanhuaSunLaptop <yanhuasun@yanhua-suns-macbook-pro.local>
Sun, 4 Apr 2010 05:40:01 +0000 (00:40 -0500)
commit90498ce148d2839654b332e4b0be5cd9665e4984
tree3a91da0cae79e17640ebc85ab04824fb57e12dd0
parent541278555b83e7d27e429ac2da53ec4dffb222d9
replace ckvec with map in satisfiability program
examples/charm++/satisfiability/main.C
examples/charm++/satisfiability/par_Solver.C
examples/charm++/satisfiability/par_Solver.h