Search Package Index

2 packages found

 PackageDescriptionBuild 

ocelot

A solver-aided relational logic DSL

Docs:
succeeds0

typed-rosette

A typed variant of the Rosette language.

This package needs documentation

fails5