Reference professor: Mauro Vallati
Language: PDDL+ Planning engine: ENHSP (version 20)
Name | ID |
---|---|
Nicholas Attolino | S5656048 |
Claudio Tomaiuolo | S5630055 |
Teodoro Lima | S5452613 |
Baris Aker | S5430437 |
Remember to install ENHSP20 before running!
To execute planning run the script:
java -jar ENHSP/enhsp.jar -o <domain> -f <problem> -planner <configuration>
# " opt-blind " configuration for the first 3 problems and " sat-hmrph " for the last problem
The only dependency needed is Java (15 possibly, otherwise also 17 and 18 should work):
sudo apt install openjdk-17-jdk
Note: if you choose to install Java 15, you'll have to install it manually.
Reference professor: Fulvio Mastrogiovanni
Language: PDDL Planning engine: popf3-clp
Name | ID |
---|---|
Nicholas Attolino | S5656048 |
Claudio Tomaiuolo | S5630055 |
Teodoro Lima | S5452613 |
You only need to install the required libraries:
sudo apt-get install cmake coinor-libclp-dev coinor-libcoinutils-dev coinor-libosi-dev coinor-libcbc-dev coinor-libcgl-dev doxygen bison flex
There is no need to compile the popf3-clp
since it is already compiled in the root folder.
To run the program is necessary to be into the folder of the assignment and to open a terminal window; after that just run this:
./popf3-clp -x ./visits_domain/dom1.pddl ./visits_domain/prob1.pddl ./visits_module/build/libVisits.so ./visits_domain/region
You may have to add execution privileges to the following files:
sudo chmod +x popf3-clp