AdaSAT
Port variant std
Summary Implementation of a DPLL-based SAT solver in Ada
Package version 25.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 22 NOV 2024, 12:26:16 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:v25.0.0
Distribution File Information
b823969345cdd3678bf3cb1eb55592a0f74c2d99fc67303e187b4fbc960188a2 30707 AdaCore-AdaSAT-25.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