CVE and update status of the FreeBSD ports tree3,864 unaddressed CVEs in 671 portsAll times are CET
Port details

math/adasat 26.0.0

DPLL-based SAT solver in Ada

0
unaddressed
0
VuXML only
0
fixed
1
open problem reports

Port info

Maintainer
ada@FreeBSD.org
Packages
latest: 26.0.0
Upstream
up to date
Last update
to 26.0.0 · ec57b05702
Quarterly
2026Q4: 26.0.0
WWW
https://github.com/AdaCore/adasat
Links
cgit · VuXML

Install

Package
# pkg install adasat
installs 26.0.0 from latest; from quarterly (2026Q4) 26.0.0
Port
# cd /usr/ports/math/adasat && make install clean
Size
100 KiB download · 630 KiB installed
Depends on
lang/gnat12 12.4.0_1
License
APACHE20

Packages by version and architecture

latest

FreeBSD versionamd64aarch64i386
FreeBSD 1626.0.026.0.0–
FreeBSD 1526.0.026.0.0–
FreeBSD 1426.0.026.0.0✗

quarterly (2026Q4)

FreeBSD versionamd64aarch64i386
FreeBSD 1526.0.026.0.0–
FreeBSD 1426.0.026.0.0✗

version as in the ports tree (latest) or the most common one (quarterly) · different version · ✗ not built · – no packages for this platform. Package sets that have not been rebuilt for 60 days are left out.

Unaddressed and VuXML only (0)

No unaddressed CVE and nothing reported by pkg audit for the packaged version 26.0.0.

Fixed (0)

No VuXML entries for this package.

Problem reports (1) · open in Bugzilla, most recently changed first

PRSummaryStatusChanged
298396math/adasat: Update to 26.2New2026-09-11

Commits (1)

Thierry Thomas (thierry) · 26.0.0
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
ec57b05702