search

ssardina-research / app-trapper

Software for IJCAI17 paper on solving APP with dead-end reasoning
0 stars 0 forks source link

Not running with lpg option #2

Closed ssardina closed 3 years ago

ssardina commented 3 years ago

System does not seem to run with lpg option:

[ssardina@Thinkpad-X1 example]$ ../src/pp-traps obj.pddl init.pddl predicates.pddl acts.pddl graph.txt 123 lpg
Checking plan: emptyplan.tmp
Plan executed successfully - checking goal
Plan valid
Final value: 0

Successful plans:
Value: 0
 emptyplan.tmp 

FAIL
lchrpa commented 3 years ago

If I remember a different version of LPG was used for planning than for plan checking (and endstate.txt deriving). I'll check.

ssardina commented 3 years ago

ahh OK yes that is the kind of things we would like to document so that whoever wants to use it know. For example, what is pp-trap. Basically how the code aligns with the paper.

Said so, we may just want to get the minimum system working and document. For example, for now, we may just want the offline planner, not the online.

lchrpa commented 3 years ago

Example does not seem to work for some reason (also with other options than lpg). On the other hand, benchmarks (at least GluedBW) work well (tested with the online version).

ssardina commented 3 years ago

This has been fixed sometime ago by @lchrpa and it all runs!