There is a newer version of this record available.

Software Open Access

Theory Exploration Powered by Deductive Synthesis

Singher, Eytan; Itzhaky, Shachar

Theory exploration tool for synthesizing lemmas based on symbolic examples.

To import and run the docker image please run:
docker load -i cav2021-docker-img
Then use the created image to run:
docker run --memory="32g" -it --entrypoint bash <image name>

For more information see https://github.com/eytans/TheSy

Files (2.0 GB)
Name Size
cav2021-docker-img
md5:a38c9594dd29ac43e44ddedc6405325d
2.0 GB Download
import instructions.txt
md5:801dd5577bb9f3c3f2481097fab38c43
171 Bytes Download
257
41
views
downloads
All versions This version
Views 257143
Downloads 4126
Data volume 53.2 GB30.4 GB
Unique views 230139
Unique downloads 3222

Share

Cite as