本文主要是介绍SMT求解器Q3B——在WSL上的Docker配置，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！
SMT求解器Q3B——在WSL上的Docker配置
- 1、配置wsl下的Docker
- 2、在github上下载Q3B
- 3、更换配置文件
- 4、安装docker镜像
- 5、编译Q3B
- 6、使用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、编译Q3B
mkdir build
cd build
cmake ..
make
6、使用Q3B
./q3b file.smt2
这篇关于SMT求解器Q3B——在WSL上的Docker配置的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
