panda-planner-dev / pandaPIparser

The parser of the pandaPI planning system
BSD 3-Clause "New" or "Revised" License
13 stars 10 forks source link

pandaPIparser run "Killed" #28

Open rpgoldman opened 10 months ago

rpgoldman commented 10 months ago

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.