后处理答案集
ppas的Python项目详细描述
这个程序接受cligo4.x和clap3.x日志文件以及一个asp脚本 后处理应答设置日志包含的内容。 结果是一个重写的日志文件。
每个答案都有一个从1开始的序列号，它的原子是 在特殊谓词中包装为（term，sequencenum）。答案集是 替换为从特殊谓词_pp（term，sequencenum）读取的原子。
例如，将原子“a”添加到日志中的第一个答案集可以使用 以下ASP脚本：
% Add "a." to first answer set / model _pp(a, 1). % Pass everything else through _pp(Term, SeqNum) :- _as(Term, SeqNum).
请注意，序列号不一定与 “answer:<；num>；”输入日志文件中的行；例如，当多次求解时 打过电话。
安装
运行：
pip install --user ppas
用法
ppas <script> <infile> <outfile> [--clingo-bin=<path>, --quiet]
ppas -h | --help
ppas --version
Options:
--clingo-bin=<path> Path to clingo binary.
--quiet Disable stdout messages.
-h --help Show this screen.
--version Show version.
示例
示例可以在examples/目录中找到。 例如：
ppas.py examples/tsp/script.asp examples/tsp/log.txt tsp-processed.txt
许可证
麻省理工学院。请参见license.txt
欢迎加入QQ群-->： 979659372
