SMT求解器Q3B——在WSL上的Docker配置

SMT求解器Q3B------在WSL上的Docker配置

• 1、配置wsl下的Docker
• 2、在github上下载Q3B
• 3、更换配置文件
• 4、安装docker镜像
• 5、运行Docker容器
• 6、编译Q3B
• 7、使用Q3B

1、配置wsl下的Docker

WSL 2 上的 Docker 远程容器入门

2、在github上下载Q3B

Q3B下载地址

3、更换配置文件

下载完后，将如下文件更换为smtlibv2-grammar

4、安装docker镜像

进入Q3B的安装目录，执行如下命令

docker build -t q3b:v1 .

其中，q3b为容器名称，v1为target

5、运行Docker容器

docker run -t -i q3b:v1

-i: 交互式操作。

-t: 终端。

6、编译Q3B

事实上，如果使用DockerFile构造的容器，那么这一步完全不必。

mkdir build
cd build
cmake ..
make

7、使用Q3B

进入build文件夹下，测试文件在Q3B/tests/data下提供。

./q3b file.smt2