{"added":null,"apiVersion":1,"behindSince":"2026-10-28","buildDepends":[],"categories":["devel","math"],"comment":"DPLL-based SAT solver in Ada","compare":null,"dependentCount":null,"description":"AdaSAT is an implementation of Davis%e2%80%93Putnam%e2%80%93Logemann%e2%80%93Loveland (DPLL) based\npropositional satisfiability problem (SAT) solver in Ada.\n\nSupported features include:\n* Conflict analysis and backjumping\n* Two-watched literals scheme\n* Built-in support for At-Most-One constraints\n* Custom theories","flavors":[],"html":"https://daemonports.org/dragonfly/math/adasat/","kind":"port","lastUpdate":null,"license":["APACHE20"],"licenses":["Apache-2.0"],"maintainer":"ada@FreeBSD.org","name":"adasat","newest":false,"newestVersion":"26.2","noVulnData":false,"origin":"math/adasat","otherSystems":[{"maintainer":"ada@FreeBSD.org","newest":true,"origin":"math/adasat","path":"/math/adasat/","system":"FreeBSD","updated":"2026-10-28","version":"26.2"},{"maintainer":"ada@FreeBSD.org","newest":true,"noVulnData":true,"origin":"math/adasat","path":"","system":"GhostBSD","version":"26.2"}],"packages":null,"pkgName":"adasat-26.0.0","related":null,"repository":"DPorts","requiredBy":[],"requiredByCount":0,"runDepends":["lang/gnat12"],"status":null,"system":"dragonfly","systemLabel":"DragonFly","version":"26.0.0","versions":[{"date":"2026-11-11","version":"26.0.0"}],"vulnerabilities":null,"www":"https://github.com/AdaCore/adasat"}