This repository has been archived on 2023-07-19. You can view files and clone it, but cannot push or open issues or pull requests.
plasp/encodings/outdated
Patrick Lühne 8ff87985f5
Moved outdated encodings to separate directory.
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.
2017-11-17 15:38:59 +01:00
..
pddl-sequential-horizon-boolean.lp Moved outdated encodings to separate directory. 2017-11-17 15:38:59 +01:00
pddl-sequential-incremental-boolean.lp Moved outdated encodings to separate directory. 2017-11-17 15:38:59 +01:00
sas-sequential-incremental-multivalued-axioms-condeffects.lp Moved outdated encodings to separate directory. 2017-11-17 15:38:59 +01:00
sequential-incremental.lp Moved outdated encodings to separate directory. 2017-11-17 15:38:59 +01:00