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

1 commit

Author SHA1 Message Date
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