BSD Portsmath/adasat 26.0.0 DragonFly
DPLL-based SAT solver in Ada
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- APACHE20
- Categories
- devel, math
- Package size
- 474.7 KiB, 1145.7 KiB installed
Description
AdaSAT is an implementation of Davis%e2%80%93Putnam%e2%80%93Logemann%e2%80%93Loveland (DPLL) based propositional satisfiability problem (SAT) solver in Ada.
Supported features include: * Conflict analysis and backjumping * Two-watched literals scheme * Built-in support for At-Most-One constraints * Custom theories
In the other systems
The newest version among them is 26.2, as upstream numbers it.
| System | Port | Version | Vulnerabilities | Status | Maintainer | Last update |
|---|---|---|---|---|---|---|
| DragonFly | math/adasat | 26.0.0 behind since 2026-10-28 | none known | - | [email protected] | - |
| FreeBSD | math/adasat | 26.2 newest | none known | - | [email protected] | 2026-10-28 |
| GhostBSD | math/adasat | 26.2 newest | no data | - | [email protected] | - |
Version history 1
- 26.0.0
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:
pkg install adasatFrom DPorts:
cd /usr/dports/math/adasat && make install cleanDependency 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.
Dependencies
Run dependencies 1
No port depends on this one.