BSD Portsmath/cadical 2.0.0 DragonFly
Simple CDCL satisfiability solver
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- MIT
- Categories
- devel, math
- Package size
- 769.6 KiB, 4768.3 KiB installed
Description
The goal of CaDiCaL is to provide a clean and efficient state-of-the-art CDCL solver, which is also easy to understand and change.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | math/cadical | 2.0.0 |
| FreeBSD | math/cadical | 2.1.3_1 |
| OpenBSD | math/cadical | 3.0.1 |
| NetBSD | math/cadical | 2.1.3 |
| HardenedBSD | math/cadical | 2.1.3_1 |
| GhostBSD | math/cadical | 2.1.3_1 |
Install
Binary package:
pkg install cadicalFrom DPorts:
cd /usr/dports/math/cadical && make install clean