Theory Exploration Powered by Deductive Synthesis

Theory exploration tool for synthesizing lemmas based on symbolic examples.

To import and run the docker image please run:
docker load -i cav2021_338_docker_img
Then use the created image to run:
docker run --memory="32g" -it --entrypoint bash cav338:latest

For more information see attached import instructions, readme file contained in the docker image and https://github.com/eytans/TheSy