Patrick Lühne
8ff87985f5
These encodings need to be updated to match the new output format. Until this is done, hide these files in a separate directory in order not to confuse users. |
||
---|---|---|
.. | ||
pddl-sequential-horizon-boolean.lp | ||
pddl-sequential-incremental-boolean.lp | ||
sas-sequential-incremental-multivalued-axioms-condeffects.lp | ||
sequential-incremental.lp |