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.

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