Program synthesis toolkit for Common Lisp, providing:
- Regular tree grammars (package
com.kjcjohnson.synthkit.grammar) - Abstract syntax trees (package
com.kjcjohnson.synthkit.ast) - SMT-LIB2 theories, functions, and solver interface (package
com.kjcjohnson.synthkit.smt) - Program specifications (package
com.kjcjohnson.synthkit.specification) - Version space algebra over programs (package
com.kjcjohnson.synthkit.vsa) - Semantics-Guided Synthesis support (package
com.kjcjohnson.synthkit.semgus)
This library is under active development; no part of it should be considered stable. Please reach out if this library would be useful to you, and we can discuss what that might look like.
Contributions of any sort are welcome; let's build something great together!