gentoo.mahdi.cz
dev-ada
:AdaSAT
Implementation of a DPLL-based SAT solver in Ada
https://github.com/AdaCore/AdaSAT
AdaSAT-24.0.0
Apache-2.0
download
~amd64 ~x86
gentoo