math/glucose 4.2.1
Parallel SAT solver based on Minisat, with glue clauses
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- License
- MIT
- Categories
- math
- Package size
- 79.1 KiB, 261.9 KiB installed
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.
Install
As a binary package — by origin, or by package name:
pkg install math/glucose
pkg install glucoseFrom the ports tree:
cd /usr/ports/math/glucose/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= glucose>0:math/glucosePackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 4.2.1 | 4.2.1 | 4.1_3 | 4.2.1 | 4.2.1 |
| FreeBSD:14:quarterly | 4.2.1 | 4.2.1 | n/a | 4.2.1 | 4.2.1 |
| FreeBSD:15:latest | 4.2.1 | 4.2.1 | n/a | 4.2.1 | 4.2.1 |
| FreeBSD:15:quarterly | 4.2.1 | 4.2.1 | n/a | n/a | n/a |
| FreeBSD:16:latest | 4.2.1 | 4.2.1 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
The Makefile names none itself; they come from USES and USE_*.
The full lists below include those, and their dependencies in turn.
All build dependencies 3
No port depends on this one.
Configuration
No options to configure.
- USES
- compiler:c++11-lang gmake
- Service scripts
- none
Files
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| audemard-glucose-4.2.1_GH0.tar.gz | 88105 | a6d4af223e851b50ec6cdbd34b10ce7c8958e372b6c590c589b6d976a03c9a0d |
Commit history 0
No commits in the history this site was built from.