CVSROOT: /cvs
Module name: ports
Changes by: [email protected] 2009/09/17 15:12:04
Log message:
import minisat 1.14
MiniSat is a minimalistic, open-source SAT solver, developed to help
researchers and developers alike to get started on SAT.
Some key features of MiniSat:
* Easy to modify. MiniSat is small and well-documented, and possibly
also well-designed, making it an ideal starting point for adapting SAT
based techniques to domain specific problems.
* Highly efficient. Winning all the industrial categories of the SAT
2005 competition, MiniSat is a good starting point both for future
research in SAT, and for applications using SAT.
* Designed for integration. MiniSat supports incremental SAT and has
mechanisms for adding non-clausal constraints. By virtue of being easy
to modify, it is a good choice for integrating as a backend to another
tool, such as a model checker or a more generic constraint solver.
Status:
Vendor Tag: jasper
Release Tags: jasper_20090917
N ports/math/minisat/distinfo
N ports/math/minisat/Makefile
N ports/math/minisat/pkg/DESCR
N ports/math/minisat/pkg/PLIST
N ports/math/minisat/patches/patch-Makefile
No conflicts created by this import
