1.请解压压缩包中的所有文件到Linux虚拟机中同一个文件夹下，然后打开命令行，cd到这个文件夹下。

2. 请在命令行中依次输入下面的命令：
sudo apt-get install python3-pip
pip3 install sympy
sudo apt-get install build-essential
sudo apt-get install minisat
sudo apt-get install zlib1g
sudo apt-get install zlib1g-dev
注意！！！最后两个命令中是数字1不是字母l。

3. minisat.cpp中是SAT solver的程序，pysolver中是sympy的程序。
输入命令make minisat会运行minisat.cpp。
输入命令make sympy会运行pysolver.py。
以上命令都必须在文件所在的文件夹下面运行！！！

4. 建议使用winscp在你的计算机和虚拟机之间传递文件。
建议在虚拟机中安装vscode或者其它编辑器写代码。