A synthesis-enabled solver for relational logic
Racket
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
engine
lang
lib
scribblings
test
.gitignore
.travis.yml
LICENSE
README.md
info.rkt
main.rkt
ocelot.rkt

README.md

Ocelot

Build Status

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