Search Package Index

3 packages found

 PackageDescriptionBuild 

ocelot

A solver-aided relational logic DSL

Docs:
succeeds0

rosette-extras

A few extra utilities for Rosette

This package needs documentation

Tags:
succeeds3

typed-rosette

A typed variant of the Rosette language.

This package needs documentation

fails5