Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/sumith1896/skosette
Reimplementation of the Skolem function generation using Rosette
https://github.com/sumith1896/skosette
program-synthesis racket solvers
Last synced: 3 days ago
JSON representation
Reimplementation of the Skolem function generation using Rosette
- Host: GitHub
- URL: https://github.com/sumith1896/skosette
- Owner: Sumith1896
- License: mit
- Created: 2017-05-31T23:48:03.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2017-07-07T02:51:22.000Z (over 7 years ago)
- Last Synced: 2024-12-10T17:06:01.869Z (23 days ago)
- Topics: program-synthesis, racket, solvers
- Language: Racket
- Homepage:
- Size: 1.93 MB
- Stars: 1
- Watchers: 4
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Skosette
Skosette is a reimplementation of the Skolem function generation, as described in the FMCAD'15 paper [*Skolem Functions for Factored Formulas*](https://arxiv.org/abs/1508.05497).
## Requirements
Skosette is built in the [Rosette](http://homes.cs.washington.edu/~emina/rosette/) solver-aided language, which extends [Racket](http://racket-lang.org). Install the following requirements:
* Racket v6.9 ([download](http://download.racket-lang.org/racket-v6.9.html))
* Rosette ([instructions on GitHub](https://github.com/emina/rosette))