CVS import: pkgsrc/math/minisat

["Aleksej Saushev" <asau%netbsd.org@localhost>]

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

Update of /cvsroot/pkgsrc/math/minisat
In directory ivanova.netbsd.org:/tmp/cvs-serv25382

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.

Status:

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/patch-utils_System.cc

No conflicts created by this import