关于实验

1.vscode在wsl切换回windows时由于wsl新配置文件的生成导致切回后c++无法运行，这时删掉wsl配置文件即可（删掉后再切回wsl也没关系，此文件会重新生成）

2.主函数带参数的代码文件直接运行是没反应的，应该在终端中编译出可执行文件再运行。

编译：
g++ pms.cpp -O3 -o LS-PBO -g
（g++：编译器 ，pms.cpp：要编译的源文件，
-o solver.exe：指定输出文件名为 solver.exe）
运行(filename cutoff-time seed)：
./LS-PBO test.wecnf 10 1
（./是当前目录下，LS-PBO是输出文件，后面三个为参数）

main函数两个参数：
argc是按空格划分输入字符串的个数，本实验就是4个。
argv为分割后的字符串数组，如argv[0]="./LS-PBO"