AdaSAT
Port variant std
Summary Implementation of a DPLL-based SAT solver in Ada
BROKEN
Package version 24.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 09 AUG 2024, 21:24:17 UTC
Port created 10 SEP 2023, 14:51:03 UTC
Subpackage Descriptions
set Subpackage description undefined (port maintainer error).
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:v24.0.0
Distribution File Information
7601774c928e5bb73971fce3b3942b4609a71386230690f8c130e9f708adbfd6 30088 AdaCore-AdaSAT-24.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