zynthesiser is a enumerative SyGuS solver, written in Python, built on top of Z3.
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
Initial build - Thomas Steeples