Published April 28, 2021
| Version v2
Software
Open
Theory Exploration Powered by Deductive Synthesis
Description
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
import instructions.txt
Files
(2.0 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:a38c9594dd29ac43e44ddedc6405325d
|
2.0 GB | Download |
|
md5:801dd5577bb9f3c3f2481097fab38c43
|
171 Bytes | Preview Download |