Planner does not respect preconditions

[rekino]

Hi, I'm trying to solve the following planning problem: domain.txt problem.txt

the problem is that the planner doesn't respect the precondition that (> (start ?l) (timeline ?r)). to resolve the issue, planner should first do a (shift-right-sixty SRY-THR) and then (asgn SRY-THR MOC SRY THR), but it does the later without shifting first. Am I doing something wrong?

EDIT: I am using the docker image provided in docker hub

[nirlipo]

Hi Rekino,

Our planners in LAPKT do not handle numeric state variables, It's a feature that we haven't implemented yet, they just ignore them. We only use them to specify costs, not conditions.

To solve your problem you could try https://fai.cs.uni-saarland.de/hoffmann/metric-ff.html

Cheers,

Nir