Port details |
- minisat Minimalistic, open-source SAT solver
- 2.2.1_2 math =2 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
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- 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:
|
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
07 Sep 2022 21:58:51 |
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
2.2.1_2 07 Sep 2022 21:10:59 |
Stefan Eßer (se) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above ) |
2.2.1_2 20 Jul 2022 14:22:24 |
Tobias C. Berner (tcberner) |
math: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Alessando Sagratini <ale_sagra@hotmail.com>
* Alex Dupre <ale@FreeBSD.org>
* Alexey Dokuchaev <danfe@FreeBSD.org>
* Amarendra Godbole <amarendra.godbole@gmail.com>
* Anders Nordby <anders@FreeBSD.org>
* Andreas Fehlner (fehlner@gmx.de)
* Andrew L. Neporada <andrew@chg.ru>
* Andrey <gugu@zoo.rambler.ru>
* Andrey Zakhvatov (Only the first 15 lines of the commit message are shown above ) |
2.2.1_2 06 Apr 2021 14:31:07 |
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
2.2.1_2 28 Oct 2018 09:36:56 |
jbeich |
Downgrade C++03 to C++98, actual default for GCC < 6
GCC 4.2 in base system doesn't support C++03:
cc1plus: error: unrecognized command line option "-std=gnu++03" |
2.2.1_2 25 Jan 2018 09:04:32 |
vsevolod |
- Fix build with clang 6 |
2.2.1_1 19 May 2016 10:44:12 |
amdmi3 |
- Fix trailing whitespace in pkg-descrs, categories [g-n]*
Approved by: portmgr blanket |
2.2.1_1 26 Jun 2015 23:10:10 |
amdmi3 |
- Fix compatibility with c++11
While here:
- Add LICENSE
- Strip binaries
- Regenerate patches
- Sort plist
PR: 199998
Submitted by: 6yearold@gmail.com
Approved by: maintainer timeout (vsevolod, 7 weeks) |
2.2.1 15 Nov 2014 12:20:54 |
antoine |
Cleanup plist |
2.2.1 07 Jul 2014 15:31:02 |
olgeni |
Remove indefinite articles and trailing periods from COMMENT, plus minor
COMMENT typos and surrounding whitespace fixes. A few Makefiles where not
included as they contain Latin-1 characters that break the Phabricator
workflow. Category M.
CR: D306
Approved by: portmgr (bapt) |
2.2.1 31 Mar 2014 10:52:41 |
vsevolod |
- Unbreak with clang 3.4 (not bumping revision). |
2.2.1 02 Feb 2014 14:33:37 |
miwi |
- Stage support
- Convert few ports to USES |
2.2.1 21 Jan 2014 23:40:23 |
bapt |
Fix properties on pkg-plist |
2.2.1 20 Sep 2013 20:55:06 |
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
math) |
2.2.1 18 Sep 2013 13:28:07 |
vsevolod |
Add minisat port - a lightweight SAT solver. |