Port details on branch 2022Q3 |
- minisat Minimalistic, open-source SAT solver
- 2.2.1_2 math =0 2.2.1_2Version of this port present on the latest quarterly branch.
- Maintainer: vsevolod@FreeBSD.org
- Port Added: 2013-09-18 13:28:18
- Last Update: 2022-09-07 21:58:51
- Commit Hash: fb16dfe
- Also Listed In: devel
- License: MIT
- WWW:
- http://minisat.se/
- Description:
- MiniSat is a minimalistic, open-source SAT solver, developed to help
researchers and developers alike to get started on SAT. It is released under
the MIT licence, and is currently used in a number of projects.
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.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/math/minisat/ && make install clean
- To add the package, run one of these commands:
- pkg install math/minisat
- pkg install minisat
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: minisat
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (minisat-2.2.1.tar.gz) = d39de26ad3c56a0fbc30a92c23004a5fb2802e8aebd34febc107dc43781e9a19
SIZE (minisat-2.2.1.tar.gz) = 49892
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gmake>=4.3 : devel/gmake
- This port is required by:
- for Libraries
-
- math/boolector
- math/stp
- textproc/link-grammar
Configuration Options:
- No options to configure
- Options name:
- math_minisat
- USES:
- gmake
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|