Fixing stat collection
[charm.git] / examples / charm++ / satisfiability /
2010-10-31 Abhishek GuptaMerge remote branch 'origin/charmrun' into charmrun
2010-10-30 Abhishek GuptaMerge commit 'origin/charm' into scratch
2010-07-06 Pritish JetleyMerge branch 'charm' of charmgit:charm into charm
2010-04-21 Filippo GioachinMerge branch 'charm' into virtualDebug
2010-04-07 Gengbin ZhengMerge branch 'charm' of charmgit:charm into charm
2010-04-04 Yanhua YanhuaSunLaptopminor change to print out the solutions in satisfiabili...
2010-04-04 Yanhua YanhuaSunLaptopMerge branch 'charm' of charmgit:charm into charm
2010-04-04 Yanhua YanhuaSunLaptopreplace ckvec with map in satisfiability program
2010-04-02 Yanhua YanhuaSunLaptopsatisfiability can be run as sequential in order to...
2010-03-30 Yanhua YanhuaSunLaptopfix the problem that the binary of parsat_tnm is too...
2010-03-29 Yanhua YanhuaSunLaptop fix some mistakes in TNM
2010-03-29 Yanhua YanhuaSunLaptopadd minisat and TNM sequential solvers in sat problem
2010-03-29 Yanhua YanhuaSunLaptopone charm parallel two sequential SAT solver
2010-03-28 Yanhua YanhuaSunLaptoprename charm related files into par_* to distiguish...
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-24 Yanhua YanhuaSunLaptopMerge branch 'charm' of charmgit:charm into charm
2010-03-24 Yanhua YanhuaSunLaptopfix a bug that occur in sequential part in satisfiabili...
2010-03-24 Yanhua YanhuaMerge branch 'charm' of charmgit:charm into charm
2010-03-24 Yanhua Yanhua add the verify program to check whether 3sat output...
2010-03-24 Yanhua Yanhua remove the ckprintf satisfiability problem
2010-03-23 Gengbin ZhengMerge branch 'charm' of charmgit:charm into charm
2010-03-23 Yanhua YanhuaSunLaptopMerge branch 'charm' of charmgit:charm into charm
2010-03-23 Yanhua YanhuaSunLaptopAdd 3 sat result verification program
2010-03-23 Yanhua YanhuaSunLaptopadd an example of 9000 clauses for 3 sat progra
2010-03-23 Yanhua Yanhuafix a bug of unit clause size equal 0 in satisfiability...
2010-03-23 Yanhua YanhuaSunLaptopadd an test case example file_50 for satisfiability...
2010-03-23 Yanhua YanhuaSunLaptopmodify data structure in satisfiability example
2010-03-16 Gengbin ZhengMerge branch 'charm' of charmgit:charm into charm
2010-03-15 Isaac DooleyMerge branch 'charm' of charmgit:charm into charm
2010-03-15 Yanhua YanhuaSunLaptopmodify a warning line in satisfiability program.
2010-03-12 Yanhua YanhuaSunLaptopMerge branch 'charm' of charmgit:charm into charm
2010-03-12 Yanhua YanhuaSunLaptopadd priority message in satisfiability problem. Also...
2010-03-12 Phil MillerMerge branch 'charm' of charmgit:charm into charm
2010-03-11 Esteban MenesesMerge branch 'charm' of charmgit:charm into charm
2010-03-11 Yanhua YanhuaSunLaptopMerge branch 'charm' of charmgit:charm into charm
2010-03-11 Yanhua YanhuaSunLaptopmodification in satisfiability example. Add grain size...
2010-03-09 Yanhua Yanhuaslight modification about grain size control in satisfi...
2010-03-08 Yanhua YanhuaSunLaptopadd a satisfiability program