SMTPlan

SMTPlan copied to clipboard

Issue using make command

13

After resolving all the dependencies I am unable to make the package This is the error showed. [ 6%] Building CXX object CMakeFiles/SMTPlan.dir/src/SMTPlan.cpp.o In file included from /home/manan/SMTPlan/SMTPlan/include/SMTPlan/Encoder.h:14:0, from /home/manan/SMTPlan/SMTPlan/src/SMTPlan.cpp:7:...

modimanan

Cannot find z3++.h

1

Hi, I followed the steps to install SMTPlan (z3 and piranha) but once I arrive at the make command I have this error : `SMTPlan/include/SMTPlan/z3++.h:27:9: fatal error: z3++.h: No such...

axelvan22

Hi, I am trying to use SMTPlan on examples in https://github.com/yarox/pddl-examples. It is just the planner runs really slow after the encoding step greater than 25. For example, the strips...

ferdianjovan

Ignoring a requirement to serialize operations

2

I posted a comment yesterday on #13 regarding concurrency, but in order not to hijack the issue, and because I've now tried to create a minimal use case, posting a...

fdouglis

Fixes #19. `visit_div_expression` already had the correct method of popping the RHS first then the LHS. However, plus, minus and mul all switched the order and called the first thing...

neighthan