Skip to content
Snippets Groups Projects
Select Git revision
  • master default
1 result
Compare History
Claudio Scheer's avatar
Update program-2
Claudio Scheer authored
dd5b6654
Name Last commit Last update
implementation
scheer-paper
scheer-proposal
.gitignore
README.md
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.