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

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

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
相关推荐
Brilliant Nemo2 小时前
Docker 镜像相关的基本操作
运维·docker·容器
Ares-Wang2 小时前
Docker Compose 部署Nginx反向代理 tomcat
nginx·docker·tomcat
sauTCc1 天前
Docker初探
docker
c无序1 天前
【Docker-7】Docker是什么+Docker版本+Docker架构+Docker生态
docker·容器·架构
FixBug_Nick1 天前
使用Docker安装及使用最新版本的Jenkins
docker·容器·jenkins
Zero_to_zero12341 天前
解决docker的ubuntu系统中文乱码问题
ubuntu·docker·容器
@郭小茶1 天前
docker-compose方式部署docker项目
运维·docker·容器
程序员 小柴1 天前
docker的与使用
java·docker·eureka
ghostwritten1 天前
Docker Registry Clean
运维·docker·容器
宋冠巡1 天前
Windows安装Docker(Docker Desktop)
windows·docker·容器