Search Package Index

1 packages found

	Package	Description	Build
-1651775306	forge tim_nelson@brown.edu	A model-finding language with Alloy-adjacent syntax. This package needs documentation Tags: alloy education logic modeling relational	succeeds; has failing tests	4

Package

Description

Build

forge

A model-finding language with Alloy-adjacent syntax.

This package needs documentation

Tags: