GitHub repository: pucrs-automated-planning/adl2strips
Primary language: C
Created: 2017-11-23T18:07:54Z
Description: ADL to STRIPS converter from Joerg Hoffmann