{"added":"2026-07-24T18:38:00Z","apiVersion":1,"behindSince":null,"buildDepends":[],"categories":["math"],"comment":"SAT Solver","compare":"/compare/cadical/index.json","dependentCount":null,"description":"The goal of the development of CaDiCaL was to obtain a CDCL solver,\nwhich is easy to understand and change, while at the same time not\nbeing much slower than other state-of-the-art CDCL solvers.","flavors":[],"html":"https://daemonports.org/netbsd/math/cadical3/","kind":"port","lastUpdate":"2026-07-24T20:27:54Z","license":["mit"],"maintainer":"pkgsrc-users@NetBSD.org","name":"cadical","newest":true,"newestVersion":"3.0.1","noVulnData":false,"origin":"math/cadical3","otherSystems":[{"behindSince":"2026-07-24","maintainer":"yuri@FreeBSD.org","matchedBy":"name","origin":"math/cadical","path":"/math/cadical/","system":"FreeBSD","version":"2.1.3_1"},{"maintainer":"Kirill A. Korinsky \u003ckirill@korins.ky\u003e","matchedBy":"name","newest":true,"noVulnData":true,"origin":"math/cadical","path":"/openbsd/math/cadical/","system":"OpenBSD","updated":"2026-10-21","version":"3.0.1p0"},{"behindSince":"2026-07-24","maintainer":"yuri@FreeBSD.org","matchedBy":"name","origin":"math/cadical","path":"/dragonfly/math/cadical/","system":"DragonFly","version":"2.0.0"},{"behindSince":"2026-07-24","maintainer":"yuri@FreeBSD.org","matchedBy":"name","noVulnData":true,"origin":"math/cadical","path":"","system":"HardenedBSD","version":"2.1.3_1"},{"behindSince":"2026-07-24","maintainer":"yuri@FreeBSD.org","matchedBy":"name","noVulnData":true,"origin":"math/cadical","path":"","system":"GhostBSD","version":"2.1.3_1"}],"packages":[{"repo":"NetBSD 10.1 x86_64","versions":["3.0.1"]},{"repo":"NetBSD 10.1 aarch64","versions":["3.0.1"]},{"repo":"SmartOS / illumos x86_64","versions":["-"]},{"repo":"macOS 15 arm64","versions":["-"]}],"pkgName":"cadical-3.0.1","related":["math/cadical"],"repository":"pkgsrc","requiredBy":["math/lean4","wip/lean4-git"],"requiredByCount":2,"runDepends":[],"status":null,"system":"netbsd","systemLabel":"NetBSD","version":"3.0.1","versions":[{"commit":"eda877867c41bf421a8c7bc55baa0d287cc20104","date":"2026-07-24","version":"3.0.1"}],"vulnerabilities":null,"www":"https://github.com/arminbiere/cadical/"}