Linux和Windows下的批处理文件编写

一、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.youkuaiyun.com/lw20090801/article/details/44496295

https://blog.youkuaiyun.com/yelangjueqi/article/details/60575658

https://blog.youkuaiyun.com/u013514928/article/details/79629937