add an example of 9000 clauses for 3 sat progra
[charm.git] / examples / charm++ / satisfiability / Solver.C
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 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