Ocelot

Ocelot provides an embedding of relational logic in Rosette, a solver-aided programming language. Ocelot enables both verification and synthesis of relational logic expressions.

Installation

From the Racket package server

Run:

raco pkg install ocelot

From Source

Clone this respository, enter its directory, and run:

raco pkg install

Getting started

Open the Ocelot documentation:

raco docs ocelot