Next | Query returned 3 messages, browsing 1 to 10 | previous

History of commit frequency

CVS Commit History:


   2013-09-21 17:51:51 by Kamel Derouiche | Files touched by this commit (3)
Log message:

	UPDATE version
	SET LICENSE
   2012-10-05 13:31:51 by Aleksej Saushev | Files touched by this commit (25)
Log message:
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Mark packages that don't or might probably not have staged installation.
   2010-06-11 13:45:49 by Kamel Derouiche | Files touched by this commit (4) | Imported package
Log message:
Import picosat-913 as wip/picosat.

PicoSAT is a SAT solver turned out to be faster on industrial instances than
MiniSAT 2.0 and also can generate proofs and cores in memory.

Next | Query returned 3 messages, browsing 1 to 10 | previous