Constraints unintuitive? about pddl.jl HOT 3 CLOSED

Glad you like the package! Constrained planning is unfortunately not something PDDL.jl fully supports yet. I haven't implemented full parsing support for PDDL 3 LTL-style constraints, and so right now you can only specify constraints in the problem file, and they are only limited to always style constraints (i.e. constraints that must hold along every state of the plan).

To make things a little easier though, I've just added a few new constructors for the StateConstrainedGoal specification in JuliaPlanners/SymbolicPlanners.jl@e4b2a1f, so you should just be able to do:

spec = StateConstrainedGoal(problem)

I'll be making another patch release with this and other changes shortly. Hope this helps!

from pddl.jl.

Awesome! If you are interested in this I could make a doc PR with a little tutorial example of a constrained problem.

from pddl.jl.

Oh that'd be awesome! Right now there isn't a docs site for https://github.com/JuliaPlanners/SymbolicPlanners.jl (hopefully soon?), but if you'd like, it'd be great if you could contribute a test case there involving a constrained problem :)

from pddl.jl.