AdaSAT
Port variant std
Summary Implementation of a DPLL-based SAT solver in Ada
Package version 26.0.0
Homepage https://github.com/AdaCore/AdaSAT
Keywords math, ada
Maintainer John Marino
License APACHE20
Other variants There are no other variants.
Ravenports Buildsheet | History
Ravensource Port Directory | History
Last modified 21 JAN 2026, 17:47:13 UTC
Port created 10 SEP 2023, 14:51:03 UTC
Subpackage Descriptions
set This is the AdaSAT:std metapackage. It pulls in all subpackages of AdaSAT:std.
primary 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
dev This is the developer subpackage of the AdaSAT:std port. It may contain headers, pc files, static and PIC libraries and SO links.
Configuration Switches (platform-specific settings discarded)
This port has no build options.
Package Dependencies by Type
Build (only) gmake:primary:std
gprbuild:primary:std
Runtime (only) ravensys-gcc:ada_run:std (primary subpackage)
ravensys-gcc:libs:std (primary subpackage)
Download groups
main mirror://GITHUB/AdaCore:AdaSAT:v26.0.0
Distribution File Information
de4fa5a74fd4b27cf3fead6e8c9491f22b0ab4b7b591b076073c6ba2a870162c 30714 AdaCore-AdaSAT-26.0.0.tar.gz
Ports that require AdaSAT:std
langkit_support:std Support files for Ada Langkit
libadalang-tools:std Development tools based on libadalang