The final paper is available here.

About

This repository contains the following:

• implementation: PDDL formalization of the domain and problems;
• paper: LaTeX sources of the final paper;
• planner: Temporal Planning;
• proposal: LaTeX sources of the domain proposal;

Problem addressed

The core idea of this project is to represent a compiler as a PDDL domain. With this approach, a planner could test whether a program can run in parallel or not.

To do

• Add order to operations;
• Add used planner binaries (link);
• Read the paper carefully;
• Make the presentation;
• Send a pull request to the original planner with the changes;