Port details
adasat DPLL-based SAT solver in Ada
26.0.0 math Σ 26.0.0Version of this port present on the latest quarterly branch. Maintainer: ada@FreeBSD.org Port Added: 2026-07-21 12:57:08Last Update: 2026-07-21 12:56:33Commit Hash: ec57b05 Also Listed In: devel License: APACHE20WWW: https://github.com/AdaCore/adasat Description: # AdaSAT is an implementation of Davis–Putnam–Logemann–Loveland (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 Manual pages: # FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist # USE_RC_SUBR (Service Scripts)
no SUBR information found for this port
Dependency lines :
To install the port : # cd /usr/ports/math/adasat/ && make install clean To add the package , run one of these commands: pkg install math/adasat pkg install adasat PKGNAME: adasat Flavors: there is no flavor information for this port. # distinfo: # TIMESTAMP = 1782908771
SHA256 (AdaCore-AdaSAT-v26.0.0_GH0.tar.gz) = de4fa5a74fd4b27cf3fead6e8c9491f22b0ab4b7b591b076073c6ba2a870162c
SIZE (AdaCore-AdaSAT-v26.0.0_GH0.tar.gz) = 30714
Packages (timestamps in pop-ups are UTC): #
Dependencies # NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered. Build dependencies: #
gprbuild>0 : devel/gprbuild gnat : lang/gnat12
Test dependencies: #
py312-e3_testsuite>0 : devel/py-e3-testsuite@py312 python3.12 : lang/python312
Runtime dependencies: #
gnat : lang/gnat12
There are no ports dependent upon this port # Configuration Options : # No options to configure Options name : # math_adasat USES: # ada:run python:test
FreshPorts was unable to extract/find any pkg message # Master Sites: #
Number of commits found: 1 #
Commit History - (may be incomplete: for full details, see links to repositories near top of page) Commit Credits Log message 26.0.0 Thierry Thomas (thierry) Alastair Hogge math/adasat: New Port, DPLL-based SAT solver in Ada
SAT solver based on Davis–Putnam–Logemann–Loveland (DPLL) based
propositional satisfiability in Ada.
Supported features include:
* Conflict analysis and backjumping
* Two-watched literals scheme
* Built-in support for At-Most-One constraints
* Custom theories
PR: 296552
Number of commits found: 1
