文件名称：SatSpaceExpo：通过采样探索SAT问题空间
文件大小：6.74MB
文件格式：ZIP
更新时间：2024-03-05 14:42:46
C++
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 install 步骤2.下载Boost C ++库（如果适用） 在大多数计算机中，Boost C ++库已经代替了。 如果不是，请按照以下步骤操作： wget https://dl.bintray.co