BSD Portscadical in 6 systems
Simple CDCL satisfiability solver
cadical is packaged for FreeBSD, OpenBSD, NetBSD, DragonFly, HardenedBSD and GhostBSD. The newest version among them is 3.0.1, as upstream numbers it: the revision each tree adds (_1 and ,1 in FreeBSD's family, p0 in OpenBSD, nb2 in pkgsrc) is left out when versions are compared.
| System | Port | Version | Vulnerabilities | Status | Maintainer | Last update |
|---|---|---|---|---|---|---|
| FreeBSD | math/cadical | 2.1.3_1 behind since 2026-07-24 | none known | - | [email protected] | - |
| OpenBSD | math/cadical | 3.0.1p0 newest | no data | - | Kirill A. Korinsky <[email protected]> | 2026-10-21 |
| NetBSD | math/cadical | 2.1.3 behind since 2026-07-24 | none known | - | [email protected] | 2026-08-04 |
| NetBSD | math/cadical3 | 3.0.1 newest | none known | - | [email protected] | 2026-07-24 |
| DragonFly | math/cadical | 2.0.0 behind since 2026-07-24 | none known | - | [email protected] | - |
| HardenedBSD | math/cadical | 2.1.3_1 behind since 2026-07-24 | no data | - | [email protected] | - |
| GhostBSD | math/cadical | 2.1.3_1 behind since 2026-07-24 | no data | - | [email protected] | - |
“No data” means the system has no list of vulnerabilities per port that this site reads (OpenBSD and MidnightBSD), not that the port has none. A status is what the port's Makefile declares (DEPRECATED, BROKEN, EXPIRATION_DATE), read in the trees whose Makefiles this site reads: FreeBSD's and MidnightBSD's. A row without a link is a derivative's port that is FreeBSD's, listed on FreeBSD's page.