zynthesiser

zynthesiser is a enumerative SyGuS solver, written in Python, built on top of Z3.

Getting Started

Clone the respository to your local machine then run pip install .:

git clone https://github.com/thomasfsteeples/zynthesiser
cd zynthesiser
pip install .

You can test that your installation has been successful by running one of the examples:

cd zynthesiser/examples
python zynthesiser_test_script.py ./sl_examples/sl_example_0.sl

Authors

Initial build - Thomas Steeples