├── README.md ├── aux.lsp ├── compile-with-ecl ├── dump.py ├── fdr3.lsp ├── inval-main.lsp ├── inval.lsp ├── itt.lsp ├── nyat-main.lsp ├── pddl3.lsp ├── rsk-main.lsp ├── rsk.lsp ├── run-val-test-ipc4.lsp ├── simplify-main.lsp ├── simplify.lsp ├── tests ├── README.md ├── axioms │ ├── blocker-adl.pddl │ ├── blocker-strips-12.pddl │ ├── blocker-strips-12.soln │ ├── blocker-strips-small.pddl │ ├── blocker-strips-small.soln │ ├── blocker-strips.pddl │ ├── bmgen.py │ ├── bw-axioms-THN.pddl │ ├── bw-axioms-small.pddl │ ├── bw-axioms-small.soln │ ├── disjunction.pddl │ ├── disjunction1-plan.soln │ ├── disjunction1.pddl │ ├── disjunction2.pddl │ ├── iago-1.pddl │ ├── iago-1.soln │ ├── iago-2.pddl │ ├── mst.pddl │ ├── mst1.pddl │ ├── mst1.soln │ ├── mst2.pddl │ ├── mst2.soln │ └── social.pddl ├── fs │ ├── buckets-3.pddl │ ├── buckets.pddl │ ├── fs-blocks-v1.pddl │ ├── fs-blocks-v2.pddl │ ├── fs-hanoi-v2.pddl │ ├── fs-hanoi.pddl │ ├── fs-logistics-v2.pddl │ ├── fs-logistics.pddl │ ├── fs-puzzle.pddl │ └── lists.pddl ├── mo │ ├── bw-5-plan-1.soln │ ├── bw-5-plan-2.soln │ ├── bw-5-plan-3.soln │ ├── bw-5.pddl │ └── bw3o.pddl ├── ppddl │ ├── mk31.pol │ ├── mk31a.pddl │ └── mk31b.pddl └── typing │ ├── domain-1.pddl │ ├── domain-2.pddl │ ├── domain-3.pddl │ ├── plan-1+2.soln │ ├── plan-3.soln │ ├── problem-1+2.pddl │ └── problem-3.pddl ├── tools.lsp ├── translate-main.lsp ├── val-test-util.lsp ├── vapo-main.lsp ├── vapo.lsp └── vis.lsp /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/README.md -------------------------------------------------------------------------------- /aux.lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/aux.lsp -------------------------------------------------------------------------------- /compile-with-ecl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/compile-with-ecl -------------------------------------------------------------------------------- /dump.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/dump.py -------------------------------------------------------------------------------- /fdr3.lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/fdr3.lsp -------------------------------------------------------------------------------- /inval-main.lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/inval-main.lsp -------------------------------------------------------------------------------- /inval.lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/inval.lsp -------------------------------------------------------------------------------- /itt.lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/itt.lsp -------------------------------------------------------------------------------- /nyat-main.lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/nyat-main.lsp -------------------------------------------------------------------------------- /pddl3.lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/pddl3.lsp -------------------------------------------------------------------------------- /rsk-main.lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/rsk-main.lsp -------------------------------------------------------------------------------- /rsk.lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/rsk.lsp -------------------------------------------------------------------------------- /run-val-test-ipc4.lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/run-val-test-ipc4.lsp -------------------------------------------------------------------------------- /simplify-main.lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/simplify-main.lsp -------------------------------------------------------------------------------- /simplify.lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/simplify.lsp -------------------------------------------------------------------------------- /tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/README.md -------------------------------------------------------------------------------- /tests/axioms/blocker-adl.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/blocker-adl.pddl -------------------------------------------------------------------------------- /tests/axioms/blocker-strips-12.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/blocker-strips-12.pddl -------------------------------------------------------------------------------- /tests/axioms/blocker-strips-12.soln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/blocker-strips-12.soln -------------------------------------------------------------------------------- /tests/axioms/blocker-strips-small.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/blocker-strips-small.pddl -------------------------------------------------------------------------------- /tests/axioms/blocker-strips-small.soln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/blocker-strips-small.soln -------------------------------------------------------------------------------- /tests/axioms/blocker-strips.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/blocker-strips.pddl -------------------------------------------------------------------------------- /tests/axioms/bmgen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/bmgen.py -------------------------------------------------------------------------------- /tests/axioms/bw-axioms-THN.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/bw-axioms-THN.pddl -------------------------------------------------------------------------------- /tests/axioms/bw-axioms-small.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/bw-axioms-small.pddl -------------------------------------------------------------------------------- /tests/axioms/bw-axioms-small.soln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/bw-axioms-small.soln -------------------------------------------------------------------------------- /tests/axioms/disjunction.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/disjunction.pddl -------------------------------------------------------------------------------- /tests/axioms/disjunction1-plan.soln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/disjunction1-plan.soln -------------------------------------------------------------------------------- /tests/axioms/disjunction1.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/disjunction1.pddl -------------------------------------------------------------------------------- /tests/axioms/disjunction2.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/disjunction2.pddl -------------------------------------------------------------------------------- /tests/axioms/iago-1.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/iago-1.pddl -------------------------------------------------------------------------------- /tests/axioms/iago-1.soln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/iago-1.soln -------------------------------------------------------------------------------- /tests/axioms/iago-2.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/iago-2.pddl -------------------------------------------------------------------------------- /tests/axioms/mst.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/mst.pddl -------------------------------------------------------------------------------- /tests/axioms/mst1.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/mst1.pddl -------------------------------------------------------------------------------- /tests/axioms/mst1.soln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/mst1.soln -------------------------------------------------------------------------------- /tests/axioms/mst2.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/mst2.pddl -------------------------------------------------------------------------------- /tests/axioms/mst2.soln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/mst2.soln -------------------------------------------------------------------------------- /tests/axioms/social.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/axioms/social.pddl -------------------------------------------------------------------------------- /tests/fs/buckets-3.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/fs/buckets-3.pddl -------------------------------------------------------------------------------- /tests/fs/buckets.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/fs/buckets.pddl -------------------------------------------------------------------------------- /tests/fs/fs-blocks-v1.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/fs/fs-blocks-v1.pddl -------------------------------------------------------------------------------- /tests/fs/fs-blocks-v2.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/fs/fs-blocks-v2.pddl -------------------------------------------------------------------------------- /tests/fs/fs-hanoi-v2.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/fs/fs-hanoi-v2.pddl -------------------------------------------------------------------------------- /tests/fs/fs-hanoi.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/fs/fs-hanoi.pddl -------------------------------------------------------------------------------- /tests/fs/fs-logistics-v2.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/fs/fs-logistics-v2.pddl -------------------------------------------------------------------------------- /tests/fs/fs-logistics.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/fs/fs-logistics.pddl -------------------------------------------------------------------------------- /tests/fs/fs-puzzle.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/fs/fs-puzzle.pddl -------------------------------------------------------------------------------- /tests/fs/lists.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/fs/lists.pddl -------------------------------------------------------------------------------- /tests/mo/bw-5-plan-1.soln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/mo/bw-5-plan-1.soln -------------------------------------------------------------------------------- /tests/mo/bw-5-plan-2.soln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/mo/bw-5-plan-2.soln -------------------------------------------------------------------------------- /tests/mo/bw-5-plan-3.soln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/mo/bw-5-plan-3.soln -------------------------------------------------------------------------------- /tests/mo/bw-5.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/mo/bw-5.pddl -------------------------------------------------------------------------------- /tests/mo/bw3o.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/mo/bw3o.pddl -------------------------------------------------------------------------------- /tests/ppddl/mk31.pol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/ppddl/mk31.pol -------------------------------------------------------------------------------- /tests/ppddl/mk31a.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/ppddl/mk31a.pddl -------------------------------------------------------------------------------- /tests/ppddl/mk31b.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/ppddl/mk31b.pddl -------------------------------------------------------------------------------- /tests/typing/domain-1.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/typing/domain-1.pddl -------------------------------------------------------------------------------- /tests/typing/domain-2.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/typing/domain-2.pddl -------------------------------------------------------------------------------- /tests/typing/domain-3.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/typing/domain-3.pddl -------------------------------------------------------------------------------- /tests/typing/plan-1+2.soln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/typing/plan-1+2.soln -------------------------------------------------------------------------------- /tests/typing/plan-3.soln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/typing/plan-3.soln -------------------------------------------------------------------------------- /tests/typing/problem-1+2.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/typing/problem-1+2.pddl -------------------------------------------------------------------------------- /tests/typing/problem-3.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tests/typing/problem-3.pddl -------------------------------------------------------------------------------- /tools.lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/tools.lsp -------------------------------------------------------------------------------- /translate-main.lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/translate-main.lsp -------------------------------------------------------------------------------- /val-test-util.lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/val-test-util.lsp -------------------------------------------------------------------------------- /vapo-main.lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/vapo-main.lsp -------------------------------------------------------------------------------- /vapo.lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/vapo.lsp -------------------------------------------------------------------------------- /vis.lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/patrikhaslum/INVAL/HEAD/vis.lsp --------------------------------------------------------------------------------