README.md

About

This repository contains the following:

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

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;