Summary
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
Versions
v25.0.0 :: 0 :: gentoo
- Modified
- License
- Apache-2.0
- Keywords
- amd64 x86 ~arm64
- USE flags
- shared static-libs static-pic test
v24.0.0-r2 :: 0 :: gentoo
- Modified
- License
- Apache-2.0
- Keywords
- amd64 x86
- USE flags
- shared static-libs static-pic test
USE flags
General
- shared
- Build shared library
- static-libs
- Build static versions of dynamic libraries as well
- static-pic
- Build static library with pic code
- test
- Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)
ada_target
- gcc_12
- Compile with sys-devel/gcc:12
- gcc_13
- Compile with sys-devel/gcc:13
- gcc_14
- Compile with sys-devel/gcc:14
- gcc_15
- Compile with sys-devel/gcc:15
Dependencies
Depending packages
dev-ada / ada_language_server : a Language Server Protocol for Ada/SPARK
dev-ada / gnatformat : Opinionated code formatter for the Ada language
dev-ada / langkit : A Python framework to generate language parsers
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/AdaSAT: enable py3.13
Closes: https://bugs.gentoo.org/952265 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ada/AdaSAT: Stabilize 25.0.0 amd64, #951064
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ada/AdaSAT: Stabilize 25.0.0 x86, #951064
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/AdaSAT: fix setup
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/AdaSAT: keyword 25.0.0 for ~arm64
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/AdaSAT: add 25.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ada/AdaSAT: Stabilize 24.0.0-r2 x86, #944314
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ada/AdaSAT: Stabilize 24.0.0-r2 amd64, #944314
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/AdaSAT: use python-any-r1 for test
Closes: https://bugs.gentoo.org/946260 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/AdaSAT: add BDEPs
Closes: https://bugs.gentoo.org/946260 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/AdaSAT: keyword 24.0.0 for ~x86
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/AdaSAT: new package, add 24.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>