A tiny model-finding language with Alloy-adjacent syntax. Teaching language for forge.
Documentation | |||||||
---|---|---|---|---|---|---|---|
Tags | |||||||
License | |||||||
Last updated | Wednesday, March 8th, 2023 2:46:45pm (UTC) | ||||||
Ring | 1 | ||||||
Conflicts | None | ||||||
Dependencies | |||||||
Most recent build results |
| ||||||
Version Exceptions |
| ||||||
Last checked | Sunday, March 26th, 2023 2:26:16am (UTC) | ||||||
Last edited | Monday, February 6th, 2023 6:19:56pm (UTC) | ||||||
Date added | Thursday, January 19th, 2023 5:57:58pm (UTC) | ||||||
Modules |
|