PDDL4J library

1. Auhors

Salimata CISSOUMA Lin WAN Amira MOHAMMEDI

2. Description

The domains and problems for each exercise can be found in the exercises folder.

3. Dependencies

• Java JDK version 8 or higher.
• Gradle to build the library.

4. How to use the PDDL4J library?

A complete documentation of the library is available online. For those in a hurry to get PDDL4J and start running a planner start reading the Getting Started section. Note that PDDL4J API documentation is also available online.

5. How to cite

We've used the basic project provided for understanding the PDDL language.

D. Pellier & H. Fiorino (2017) PDDL4J: a planning domain description library for java, Journal of Experimental & Theoretical Artificial Intelligence, 30:1, 143-176 https://doi.org/10.1080/0952813X.2017.1409278

6. How to use SAT planner

1. Go to the directory planner
2. Use command line " bash tests.sh" to run the test
3. Go to the directory blocks,depots,gripper and logicstics in directory planner for resault files