GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → jamesbornholt → ocelot

jamesbornholt / ocelot

Licence: BSD-2-Clause license
A synthesis-enabled solver for relational logic

Programming Languages

racket
414 projects

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
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].