Implementation of a DPLL-based SAT solver in Ada
Screenshots
-
AdaSAT-25.0.0
~amd64 ~arm64 ~x86
+shared static-libs static-pic test ada_target_gnat_2021 ada_target_gcc_12 ada_target_gcc_13 ada_target_gcc_14 ada_target_gcc_15
View 
Download 
Browse License: Apache-2.0
-
AdaSAT-24.0.0-r2
amd64 x86
+shared static-libs static-pic test ada_target_gnat_2021 ada_target_gcc_12 ada_target_gcc_13 ada_target_gcc_14 ada_target_gcc_15
View Download Browse License: Apache-2.0
Reverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.
