Skosette is a reimplementation of the Skolem function generation, as described in the FMCAD'15 paper Skolem Functions for Factored Formulas.
Skosette is built in the Rosette solver-aided language, which extends Racket. Install the following requirements:
- Racket v6.9 (download)
- Rosette (instructions on GitHub)