pkgsrc-Changes archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

CVS import: pkgsrc/math/minisat

Module Name:    pkgsrc
Committed By:   asau
Date:           Mon Oct 28 04:15:12 UTC 2013

Update of /cvsroot/pkgsrc/math/minisat
In directory

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.


Vendor Tag:     TNF
Release Tags:   pkgsrc-base
N pkgsrc/math/minisat/DESCR
N pkgsrc/math/minisat/Makefile
N pkgsrc/math/minisat/PLIST
N pkgsrc/math/minisat/distinfo
N pkgsrc/math/minisat/patches/

No conflicts created by this import

Home | Main Index | Thread Index | Old Index