SatSpaceExpo:通过采样探索SAT问题空间-源码

所需积分/C币:5 2021-02-13 20:56:06 6.74MB ZIP
7
收藏 收藏
举报

SNAP用于构建非常小的测试套件 此回购包含SNAP的来源,SNAP是用于构建非常小的测试套件的工具。 安装 步骤1.下载并设置Z3求解器 我们在实验期间使用了 ,但较新的版本可能会更快。 wget https://github.com/Z3Prover/z3/archive/z3-4.8.4.tar.gz tar -xzf z3-4.8.4.tar.gz # follow steps in README.md inside the z3-4.8.4 like following... python scripts/mk_make.py cd build make sudo make ins

...展开详情
立即下载 低至0.43元/次 身份认证VIP会员低至7折
一个资源只可评论一次,评论内容不能少于5个字
您会向同学/朋友/同事推荐我们的CSDN下载吗?
谢谢参与!您的真实评价是我们改进的动力~
  • 至尊王者

关注 私信
上传资源赚钱or赚积分
最新推荐
SatSpaceExpo:通过采样探索SAT问题空间-源码 5积分/C币 立即下载
1/0