dev-racket/z3
Z3 bindings for Racket
Screenshots
-
z3-9999doc
View 
Download 
Browse License: all-rights-reserved Overlay: racket-overlay -
z3-0_p20190511~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: all-rights-reserved Overlay: racket-overlay
Runtime Dependencies
z3-9999
>=dev-scheme/racket-8.1:=[-minimal]
z3-0_p20190511
>=dev-scheme/racket-8.1:=[-minimal]