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
相关推荐
晓柏19 分钟前
OpenEuler 系统安装 docker 和 nvidia-docker
docker
FreeBuf_41 分钟前
新型恶意软件采用独特混淆技术劫持Docker镜像
运维·docker·容器
李菠菜3 小时前
CentOS系统指定版本Docker与Docker-Compose在线安装教程
docker·容器·centos
包达叔3 小时前
dockercompose文件仓库
docker
李菠菜7 小时前
Kubernetes上通过Helm部署高可用Redis集群
docker·容器·kubernetes
李菠菜7 小时前
修改KubeSphere外网访问端口
docker·容器·kubernetes
福大大架构师每日一题8 小时前
docker v28.1.1 正式发布!修复关键Bug,网络与安全性再升级
网络·docker·bug
一个小坑货8 小时前
Docker 部署 PostgreSQL 数据库
数据库·docker·postgresql
残轩9 小时前
Win10 家庭版 Docker 环境搭建详解(基于 WSL2)
前端·后端·docker
David爱编程9 小时前
90%工程师都踩过的坑:K8s三种探针最佳组合方案全解析
docker·云原生·kubernetes