一、Linux下批处理文件编写
1.先建一个文档,如名为test,修改其文件权限使其为可执行文件。
sudo chmod +x test
2.打开test文档,编辑。
cd 绝对路径
for i in *.cnf; do ./zchaff $i >> 求解结果所放路径下的sol.txt文档; done
3.执行
./test
二、Windows下批处理文件编写
1.生成.bat文件
先建一个.txt文档,打开->另存为->选所有文件->一定默认编码ANSI->文件名为sol.bat->保存
2.右键编辑生成的bat文件
@echo off
for %%i in (*.cnf) do zchaff.exe %%i
call "sol.bat" >> 解集.txt
3.执行
双击sol.bat文件。
三、说明
以上zchaff求解器和cnf公式放在同一文件夹下。
参考:
https://blog..net/lw20090801/article/details/44496295
https://blog..net/yelangjueqi/article/details/60575658
https://blog..net/u013514928/article/details/79629937