pandaPIengine
pandaPIengine copied to clipboard
panda-planner-dev
Context: I have been conducting research on using planners to generate test cases, specifically for modeling a todolist application. The application consists of a list of items, each with the...
Use getopt argument parsing and add more options so that one can try different things without needing to edit the script. Write intermediate files into a temporary directory to avoid...
There may be some spurious whitespace changes as my editor seems to have different opinions about C++ style. Unfortunately, I don't really know C++, so I'm not sure how to...
For integrating `pandaPIengine` into pipelines, scripts, etc. it would be helpful if it was easy to tell whether it had succeeded in finding a plan or not. For this, it...
Dear Daniel Höller， In fact, pandaPIengine can output the optimal plan most of the time. If I need multiple feasible plans, can this planner support it? Perhaps setting options? Thanks！
Hi Gregor & Daniel, This is the request for merging the SAT verifier. The verifier is a subproject being placed inside the folder verifier. However, I made some small changes...
make: *** No targets specified and no makefile found. Stop.
When compiling pandaPIengine, I encountered the following issue (after Linking CXX executable pandaPIengine seemed to be successful): > /usr/bin/ld: cannot find -lipasircryptominisat5 > collect2: error: ld returned 1 exit status...
Hello, I would like to know if PANDA can handle PDDL files. I've noticed there is a variable named isHtnModel that can be assigned during the engine phase, but it...
