-
Notifications
You must be signed in to change notification settings - Fork 10
Open
Description
I was wondering what this means:
$ pandaPIparser repair-domain.hddl repair-problem.hddl
pandaPIparser is configured as follows
Colors in output: true
Mode: parsing mode
Parameter splitting: true
Conditional effects: exponential encoding
Disjunctive preconditions as HTN: false
Replace goal with action: false
Output: pandaPI format
Killed
Does this represent some kind of resource exhaustion? I don't find the string "Killed" in this repo.
Metadata
Metadata
Assignees
Labels
No labels