dev-racket/sat
A simple SAT solver based on DPLL.
Screenshots
-
sat-9999doc
View 
Download 
Browse License: all-rights-reserved Overlay: racket-overlay -
sat-0_p20220108~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: all-rights-reserved Overlay: racket-overlay
Runtime Dependencies
sat-9999
>=dev-scheme/racket-8.1:=[-minimal]
sat-0_p20220108
>=dev-scheme/racket-8.1:=[-minimal]