dev-racket/forge
A model-finding language with Alloy-adjacent syntax.
Screenshots
-
forge-9999doc
View 
Download 
Browse License: all-rights-reserved Overlay: racket-overlay -
forge-0_p20241029~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: all-rights-reserved Overlay: racket-overlay -
forge-0_p20240719~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: all-rights-reserved Overlay: racket-overlay -
forge-0_p20240617~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: all-rights-reserved Overlay: racket-overlay -
forge-0_p20240501~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: all-rights-reserved Overlay: racket-overlay