Subject: CVS import: pkgsrc/math/minisat
From: Aleksej Saushev
Date: 2013-10-28 05:15:12
Message id: 20131028041512.151F596@cvs.netbsd.org
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.
Files:
RevisionActionfile
1.1importpkgsrc/math/minisat/DESCR
1.1importpkgsrc/math/minisat/Makefile
1.1importpkgsrc/math/minisat/PLIST
1.1importpkgsrc/math/minisat/distinfo
1.1importpkgsrc/math/minisat/patches/patch-utils_System.cc