| Port details |
- adasat DPLL-based SAT solver in Ada
- 26.0.0 math
 =0      Package not present on quarterly.This port was created during this quarter. It will be in the next quarterly branch but not the current one. - Maintainer: ada@FreeBSD.org
- Port Added: 2026-07-21 12:57:08
- Last Update: 2026-07-21 12:56:33
- Commit Hash: ec57b05
- Also Listed In: devel
- License: APACHE20
- WWW:
- 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
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- 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
21 Jul 2026 12:56:33
 |
Thierry Thomas (thierry)
Author: 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
|
As an Amazon Associate I earn from qualifying purchases.