Search Package Index

2 packages found

 PackageDescriptionBuild 

New

forge

A language for teaching model checking with relational logic

Docs:

This package needs tags

fails5

forged-ocelot

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

This package needs tags

succeeds1