ppas 0.1.0
Last updated:
0 purchases
Description:
ppas 0.1.0
This program accepts clingo 4.x and clasp 3.x log files and an ASP script to
postprocess the answer sets the log contains.
The result is a rewritten log file.
Each answer is assigned a sequence number starting from 1 and it’s atoms are
wrapped in the special predicate _as(Term, SequenceNum). The answer sets are
replaced with atoms read from a special predicate _pp(Term, SequenceNum).
E.g. adding the atom “a.” to the first answer set in the log could be done with
the following ASP script:
% Add "a." to first answer set / model
_pp(a, 1).
% Pass everything else through
_pp(Term, SeqNum) :- _as(Term, SeqNum).
Note that the sequence number does not necessarily correspond to <num> in the
“Answer: <num>” line in the input log file; for example when multiple solve
calls were used.
Installing
Run:
pip install --user ppas
Usage
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
Examples are available in the examples/ directory.
E.g.:
ppas.py examples/tsp/script.asp examples/tsp/log.txt tsp-processed.txt
License
MIT. See LICENSE.txt
License:
For personal and professional use. You cannot resell or redistribute these repositories in their original state.
Customer Reviews
There are no reviews.
