| A model-finding language with Alloy-adjacent syntax. | |
| https://github.com/tnelson/Forge | |
| forge-9999 | all-rights-reserved |
| download | racket-overlay |
| forge-0_p20240305 | all-rights-reserved |
| download~amd64 ~arm ~ppc ~ppc64 ~x86 | racket-overlay |
| forge-0_p20240131 | all-rights-reserved |
| download~amd64 ~arm ~ppc ~ppc64 ~x86 | racket-overlay |
| forge-0_p20240106 | all-rights-reserved |
| download~amd64 ~arm ~ppc ~ppc64 ~x86 | racket-overlay |