我正在开发一个项目,我需要使用不同的参数运行代码数千次。喜欢
gringo some_random_SAT.lp --const n=i |clasp 0
我需要不断改变i
从1到500并获取some_random_SAT.lp
输出的信息,然后我需要为我的c ++代码做同样的事情。将所有数据写入文件。我的问题是如何做到这一点。
我不是要求某人告诉我如何做到这一切,我只是想知道一本好书还是在哪里学习如何做类似的事情。
我不依赖于python如果perl能更好地工作我能做到这一点。
我正在运行Linux,如果这有任何区别。
写一个简单的bash脚本来为你做这件事。
您可以使用for循环多次重复命令,每次都递增。
要获取输出(我想将其保存在文本文件中就足够了?),您可以将每个执行的输出传递给文件,甚至可以为每次执行分配一个单独的文件。
How to fetch the output and use i in the file name (if you want each output in a different file)