BSD Portsmath/glucose 4.2.1 DragonFly
Parallel SAT solver based on Minisat, with glue clauses
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- MIT
- Categories
- math
- Package size
- 95.1 KiB, 352.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.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | math/glucose | 4.2.1 |
| FreeBSD | math/glucose | 4.2.1 |
| HardenedBSD | math/glucose | 4.2.1 |
| GhostBSD | math/glucose | 4.2.1 |
Install
Binary package:
pkg install glucoseFrom DPorts:
cd /usr/dports/math/glucose && make install cleanDependencies
No port depends on this one.