AdaSAT
Implementation of a DPLL-based SAT solver in Ada
Implementation of a DPLL-based SAT solver in Ada. Main features: Conflict analysis and backjumping Two-watched literals scheme Built-in support for At-Most-One constraints Custom theories
homepage ↗ github: AdaCore/AdaSAT
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 25.0.0 | 1 | 18 h | details › |
Versions & arches
Use flags of 25.0.0
- +shared Build shared library
- static-libs Build static versions of dynamic libraries as well
- static-pic Build static library with pic code
- test Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)
- ada_target_gcc_12
- ada_target_gcc_13
- ada_target_gcc_14
- ada_target_gcc_15
- ada_target_gcc_16