./wip/picosat, SAT solver with proof and core support

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 957, Package name: picosat-957, Maintainer: jihbed.research

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.


Required to build:
[pkgtools/cwrappers]

Master sites:

RMD160: 0f0c5cb7960b3f0d1719fd5194349dc96ac72f99
Filesize: 61.845 KB

Version history: (Expand)

CVS history: (Expand)


   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.