SMTPlan icon indicating copy to clipboard operation
SMTPlan copied to clipboard

PDDL+ planning through compilation to SMT

Results 15 SMTPlan issues
Sort by recently updated
recently updated
newest added

Is planutils the only way to get SMTPlan running these days? I notice that the Piranha Algebra system is no longer supported and I've been unable to get it to...

I'm not sure if this is a bug, so I just wanted to check: how should the prefix notation for arithmetic operations (+, -, *, /) be converted to infix...

Hi, I am trying to build SMTPlan on FreeBSD 12.1, gcc9, cmake 3.15.5, boost 1.72, piranha 0.11_7. This is what happens: `[ 50%] Building CXX object CMakeFiles/SMTPlan.dir/src/VALfiles/src/SimpleEval.cpp.o [ 56%] Building...

Is it BSD like ROSPlan? Or something else? Please make it explicit in this repository.

In your paper, it says "effects become instantaneously available to events, without the epsilon separation." I assumed this was true for the effects of actions as well as events; is...

`/Users/moassaf/Documents/Development/Organisations/RUG/Research/Mostafa/setup/SMTPlan/SMTPlan/src/VALfiles/include/TimSupport.h:1212:37: warning: operator '

In the paper, you mention and show some examples of using control parameters, so I assume those should be supported with this library, but I'm having trouble getting them to...

Hi, According to the PDDL+ specifications, it seems to me that processes and actions are intended to run concurrently if the sets of predicates involved are disjoint. When defining a...

Hi, Not sure if this issue is related to Issue #5 After going through the painful process of getting all the dependencies and downgrading Mppp to version 0.9 to get...