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