An experimental fusion of miniKanren and Rosette.
One important goal of this project is understanding the relationship between SMT-based synthesis/sketch filling (e.g. angelic execution) and integration of SMT solving into *kanren languages.
Planned extensions:
- The aforementioned inclusion of
Rosette-solver aided constructs. - Improve
walkby using a persistent hash map data structure. - Add a naive version of
evalo.