Port details on branch 2022Q3 |
- glucose Parallel SAT solver based on Minisat, with glue clauses
- 4.1_3 math =0 4.1_3Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2018-02-03 20:59:30
- Last Update: 2022-09-07 21:58:51
- Commit Hash: fb16dfe
- License: MIT
- WWW:
- https://www.labri.fr/perso/lsimon/glucose/
- Description:
- Glucose is based on the MiniSat solver, and extends it by preserving
the so-called "glue clauses" and using new scoring scheme.
Glucose is a SAT solver based on a particular scoring scheme for the clause
learning mechanism, based on the paper Laurent Simon and Gilles Audemard
presented at IJCAI'09. Solver's name is a contraction of the concept of
"glue clauses", a particular kind of clauses that glucose detects and preserves
during search.
Glucose accepts SAT problems in the DIMACS format.
- ¦ ¦ ¦ ¦
- 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/glucose/ && make install clean
- To add the package, run one of these commands:
- pkg install math/glucose
- pkg install glucose
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: glucose
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1517475160
SHA256 (glucose-syrup-4.1.tgz) = 51aa1cf1bed2b14f1543b099e85a56dd1a92be37e6e3eb0c4a1fd883d5cc5029
SIZE (glucose-syrup-4.1.tgz) = 82779
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
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- math_glucose
- USES:
- compiler:c++11-lang gmake tar:tgz
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|