kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
265033 commits 166 branches 0 tags 1.5 GiB
Commit graph

3 commits

Author SHA1 Message Date
jperkin
b514201ebd Needs zlib. Provide dummy Minisat::memUsedPeak(). 2014-01-09 14:38:33 +00:00
joerg
83d7ad1bdd Friends may not add default arguments. 2013-11-08 21:15:02 +00:00
asau
1996ed378f Import MiniSat version 2.2.0 as math/minisat. 
MiniSat is a minimalistic, industrial strength, open-source SAT solver,
developed to help researchers and developers alike to get started on SAT.
 2013-10-28 04:15:11 +00:00