gentoo.mahdi.cz

  

dev-racket:sat


A simple SAT solver based on DPLL.
https://github.com/Kraks/SAT.rkt

sat-9999all-rights-reserved
downloadracket-overlay
sat-0_p20220108all-rights-reserved
download~amd64 ~arm ~ppc ~ppc64 ~x86racket-overlay