./math/minisat, Minimalistic yet highly efficient SAT solver

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


Branch: CURRENT, Version: 2.2.0, Package name: minisat-2.2.0, Maintainer: pkgsrc-users

MiniSat is a minimalistic, industrial strength, open-source SAT solver,
developed to help researchers and developers alike to get started on SAT.


Master sites:

SHA1: dfc25898bf40e00cf04252a42176e0c0600fbc90
RMD160: 169ec9116befa9067db9076d26309f7e9ab408dd
Filesize: 42.851 KB

Version history: (Expand)


CVS history: (Expand)


   2015-11-04 00:33:46 by Alistair G. Crooks | Files touched by this commit (262)
Log message:
Add SHA512 digests for distfiles for math category

Problems found locating distfiles:
	Package dfftpack: missing distfile dfftpack-20001209.tar.gz
	Package eispack: missing distfile eispack-20001130.tar.gz
	Package fftpack: missing distfile fftpack-20001130.tar.gz
	Package linpack: missing distfile linpack-20010510.tar.gz
	Package minpack: missing distfile minpack-20001130.tar.gz
	Package odepack: missing distfile odepack-20001130.tar.gz
	Package py-networkx: missing distfile networkx-1.10.tar.gz
	Package py-sympy: missing distfile sympy-0.7.6.1.tar.gz
	Package quadpack: missing distfile quadpack-20001130.tar.gz

Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden).  All existing
SHA1 digests retained for now as an audit trail.
   2014-12-15 13:31:09 by Jonathan Perkin | Files touched by this commit (1)
Log message:
Find correct zlib.
   2014-01-09 15:38:33 by Jonathan Perkin | Files touched by this commit (3)
Log message:
Needs zlib.  Provide dummy Minisat::memUsedPeak().
   2013-11-08 22:15:02 by Joerg Sonnenberger | Files touched by this commit (2)
Log message:
Friends may not add default arguments.
   2013-10-28 05:15:12 by Aleksej Saushev | Files touched by this commit (5) | Imported package
Log message:
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.