BSD Portsmath/cadiback g20240729 DragonFly
CaDiBack BackBone Extractor
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- MIT
- Categories
- devel, math
- Package size
- 21.5 KiB, 52.5 KiB installed
Description
CaDiBack is a tool using the CaDiCaL solver to determine the backbone of a satisfiable instance, which are those literals set to true in all models of the formula.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | math/cadiback | g20240729 |
| FreeBSD | math/cadiback | g20240729_1 |
| HardenedBSD | math/cadiback | g20240729_1 |
| GhostBSD | math/cadiback | g20240729_1 |
Install
Binary package:
pkg install cadibackFrom DPorts:
cd /usr/dports/math/cadiback && make install cleanDependencies
Run dependencies 1
No port depends on this one.