Port variant | standard |
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 | 25 APR 2024, 12:19:55 UTC |
Port created | 10 SEP 2023, 14:51:03 UTC |
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. |
Build (only) |
gmake:primary:standard gprbuild:primary:standard |
Runtime (only) |
ravensys-gcc:ada_run:standard (primary subpackage) ravensys-gcc:libs:standard (primary subpackage) |
main | mirror://GITHUB/AdaCore:AdaSAT:v24.0.0 |
langkit_support:standard | Support files for Ada Langkit |
libadalang-tools:standard | Development tools based on libadalang |