BSD Portsmath/lingeling 1.0.0 DragonFly
Lingeling SAT Solver
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- MIT
- Categories
- math
- Package size
- 444.8 KiB, 4826.5 KiB installed
Description
Lingeling, Plingeling and Treengeling.
The parallel portfolio front-end Plingeling was ranked on the first place on unsatisfiable instances in the parallel track of the SAT Competition 2020, and second place overall in the parallel track.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | math/lingeling | 1.0.0 |
| FreeBSD | math/lingeling | 1.0.0 |
| HardenedBSD | math/lingeling | 1.0.0 |
| GhostBSD | math/lingeling | 1.0.0 |
Install
Binary package:
pkg install lingelingFrom DPorts:
cd /usr/dports/math/lingeling && make install cleanDependencies
No port depends on this one.