BSD Portsmath/cadical3 3.0.1 NetBSD
SAT Solver
- System
- NetBSD
- Repository
- pkgsrc
- Maintainer
- [email protected]
- Port added
- Last update
- Commit
8c4ceabde8- License
- mit
- Categories
- math
- Package size
- 628.2 KiB, 4471.6 KiB installed
Description
The goal of the development of CaDiCaL was to obtain a CDCL solver, which is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers.
In the other systems
The newest version among them is 3.0.1, as upstream numbers it.
| System | Port | Version | Vulnerabilities | Status | Maintainer | Last update |
|---|---|---|---|---|---|---|
| NetBSD | math/cadical3 | 3.0.1 newest | none known | - | [email protected] | 2026-07-24 |
| FreeBSD | math/cadical by name | 2.1.3_1 behind since 2026-07-24 | none known | - | [email protected] | - |
| OpenBSD | math/cadical by name | 3.0.1p0 newest | no data | - | Kirill A. Korinsky <[email protected]> | 2026-10-21 |
| DragonFly | math/cadical by name | 2.0.0 behind since 2026-07-24 | none known | - | [email protected] | - |
| HardenedBSD | math/cadical by name | 2.1.3_1 behind since 2026-07-24 | no data | - | [email protected] | - |
| GhostBSD | math/cadical by name | 2.1.3_1 behind since 2026-07-24 | no data | - | [email protected] | - |
Version history 1
Upstream's version as each commit to the port's Makefile set it, or as this site first saw it in the system's packages; the tree's own revisions are not versions here.
Install
Binary package:
pkgin install cadicalFrom pkgsrc:
cd /usr/pkgsrc/math/cadical3 && make install cleanPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | Version |
|---|---|
| NetBSD 10.1 x86_64 | 3.0.1 |
| NetBSD 10.1 aarch64 | 3.0.1 |
| SmartOS / illumos x86_64 | - |
| macOS 15 arm64 | - |
Dependency graph
Ports that need it on the left, what it needs to run on the right; at most 8 of each. "Dependencies" below lists them all.