gentoo.mahdi.cz
dev-racket
:sat
A simple SAT solver based on DPLL.
https://github.com/Kraks/SAT.rkt
sat-9999
all-rights-reserved
download
racket-overlay
sat-0_p20220108
all-rights-reserved
download
~amd64 ~arm ~ppc ~ppc64 ~x86
racket-overlay