Search Package Index

1 packages found

 PackageDescriptionBuild 

New

forge

A model-finding language with Alloy-adjacent syntax.

This package needs documentation

succeeds; has dependency problems; has failing tests4