Search Package Index

2 packages found

 PackageDescriptionBuild 

forge

A model-finding language with Alloy-adjacent syntax.

This package needs documentation

succeeds; has failing tests4

ocelot

A solver-aided relational logic DSL

Docs:
fails5