Search Package Index

2 packages found

 PackageDescriptionBuild 

forge

A model finding language with Alloy-adjacent syntax.

This package needs documentation

This package needs tags

succeeds; has failing tests4

forged-ocelot

A fork of James Bornholt's Ocelot solver for relational model finding, for use in Forge.

This package needs tags

succeeds1