Sumith1896/skosette

Reimplementation of the Skolem function generation using Rosette

Skosette

Skosette is a reimplementation of the Skolem function generation, as described in the FMCAD'15 paper Skolem Functions for Factored Formulas.

Requirements

Skosette is built in the Rosette solver-aided language, which extends Racket. Install the following requirements:

• Racket v6.9 (download)
• Rosette (instructions on GitHub)