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
相关推荐
不会飞的小龙人6 小时前
Docker Compose创建镜像服务
linux·运维·docker·容器·镜像
不会飞的小龙人6 小时前
Docker基础安装与使用
linux·运维·docker·容器
张3蜂6 小时前
docker Ubuntu实战
数据库·ubuntu·docker
染诗11 小时前
docker部署flask项目后,请求时总是报拒绝连接错误
docker·容器·flask
张3蜂13 小时前
docker 部署.netcore应用优势在什么地方?
docker·容器·.netcore
心惠天意15 小时前
docker-compose篇---创建jupyter并可用sudo的创建方式
docker·jupyter·容器
huaweichenai16 小时前
windows下修改docker的镜像存储地址
运维·docker·容器
菠萝炒饭pineapple-boss16 小时前
Dockerfile另一种使用普通用户启动的方式
linux·docker·dockerfile
前端 贾公子17 小时前
速通Docker === 网络
docker
昵称难产中19 小时前
浅谈云计算21 | Docker容器技术
docker·容器·云计算