Search Package Index

1 packages found

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

Package

Description

Build

forge

A model-finding language with Alloy-adjacent syntax.

This package needs documentation

Tags:

This package needs license metadata