Search Package Index

3 packages found

 PackageDescriptionBuild 

forge

A model-finding language with Alloy-adjacent syntax.

This package needs documentation

This package needs license metadata

succeeds; has dependency problems; has failing tests5

froglet

A tiny model-finding language with Alloy-adjacent syntax. Teaching language for forge.

This package needs documentation

This package needs license metadata

succeeds; has dependency problems; has failing tests5

ocelot

A solver-aided relational logic DSL

Docs:

This package needs license metadata

fails6