z3-docker
所属分类:数值算法/人工智能
开发工具:Dockerfile
文件大小:1KB
下载次数:0
上传日期:2021-08-12 19:54:53
上 传 者:
sh-1993
说明: 一个docker容器和用于运行z3定理证明器的脚本。
(A docker container and scripts for running the z3 theorem prover.)
文件列表:
Dockerfile (937, 2021-08-13)
buildDocker.sh (37, 2021-08-13)
test.z3 (36, 2021-08-13)
z3Docker.sh (121, 2021-08-13)
Z3 Docker Container
===================
A few scripts to run (the Z3 theorem prover)[https://github.com/Z3Prover/z3] using docker.
Run `buildDocker.sh` to build the docker container. It will be named "z3".
The `z3Docker.sh` script will mount the current working directory and call z3 on the arguments passed to it.
For example, to run test.z3:
```
./z3Docker.sh test.z3
```
近期下载者:
相关文件:
收藏者: