Search Package Index

1 packages found

 PackageDescriptionBuild 

forge

A model finding language with Alloy-adjacent syntax.

Docs:

This package needs tags

fails5