LAPKT-dev / LAPKT-public

LAPKT public repository
GNU General Public License v3.0
40 stars 24 forks source link

Issue with `Watch literals successor generator`, output doesn't match. #35

Open anubhav-cs opened 4 years ago

anubhav-cs commented 4 years ago

For the instance ER-problem-patient2doc, the following command results in extensive memory consumption ~14GB, and a plan output of different length than the counterpart with match tree.

    python3 lapkt.py BRFS_Planner -d <domain.pddl> -p <problem.pddl> --no_match_tree

The following files have the details of the domain and problem pddl.

Additionally, validate throws error- "Problem in domain definition!".