AdaSAT
Port variant standard
Summary Implementation of a DPLL-based SAT solver in Ada
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 25 APR 2024, 12:19:55 UTC
Port created 10 SEP 2023, 14:51:03 UTC
Subpackage Descriptions
complete This is the AdaSAT-standard metapackage. It pulls in all subpackages of AdaSAT-standard.
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-standard 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:standard
gprbuild:primary:standard
Runtime (only) ravensys-gcc:ada_run:standard (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:standard
langkit_support:standard Support files for Ada Langkit
libadalang-tools:standard Development tools based on libadalang