SMT求解器Q3B------在WSL上的Docker配置
1、配置wsl下的Docker
2、在github上下载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