BSD Portsmath/lingeling 1.0.0 FreeBSD
Lingeling SAT Solver
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
46c9b80fed- License
- MIT
- Categories
- math
- Package size
- 483.2 KiB, 4574.8 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 |
|---|---|---|
| FreeBSD | math/lingeling | 1.0.0 |
| DragonFly | math/lingeling | 1.0.0 |
Install
Binary package:
pkg install lingelingFrom the ports tree:
cd /usr/ports/math/lingeling/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= lingeling>0:math/lingelingPackages
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 | 1.0.0 | 1.0.0 | g20220515 | 1.0.0 | 1.0.0 |
| FreeBSD:14:quarterly | 1.0.0 | 1.0.0 | n/a | 1.0.0 | 1.0.0 |
| FreeBSD:15:latest | 1.0.0 | 1.0.0 | n/a | 1.0.0 | 1.0.0 |
| FreeBSD:15:quarterly | 1.0.0 | 1.0.0 | n/a | n/a | n/a |
| FreeBSD:16:latest | 1.0.0 | 1.0.0 | 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.
Build dependencies 3
Required by 1
Configuration
No options to configure.
- USES
- gmake
- Service scripts
- none
Files
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| arminbiere-lingeling-rel-1.0.0_GH0.tar.gz | 248141 | 99f35f14091a495ca22e4bf7394f645bff7161ea4e0294f73cf4d5114ac33ac3 |