Path to this page:
./
math/minisat,
Minimalistic yet highly efficient SAT solver
Branch: pkgsrc-2016Q1,
Version: 2.2.0,
Package name: minisat-2.2.0,
Maintainer: pkgsrc-usersMiniSat 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)
- (2016-04-07) Package added to pkgsrc.se, version minisat-2.2.0 (created)