satisfiability can be run as sequential in order to get speed up
[charm.git] / examples / charm++ / satisfiability / Makefile
2010-04-02 Yanhua YanhuaSunLaptopsatisfiability can be run as sequential in order to...
2010-03-29 Yanhua YanhuaSunLaptop fix some mistakes in TNM
2010-03-29 Yanhua YanhuaSunLaptopone charm parallel two sequential SAT solver
2010-03-28 Yanhua YanhuaSunLaptopMerge branch 'charm' of charmgit:charm into charm
2010-03-28 Yanhua YanhuaSunLaptopport the minisat sequential part into charm parallel...
2010-03-23 Gengbin ZhengMerge branch 'charm' of charmgit:charm into charm
2010-03-23 Yanhua YanhuaSunLaptopmodify data structure in satisfiability example
2010-03-09 Yanhua Yanhuaslight modification about grain size control in satisfi...
2010-03-08 Yanhua YanhuaSunLaptopadd a satisfiability program