GitHub repository: KCL-Planning/SMTPlan
Primary language: C++
Created: 2016-02-23T11:23:11Z
Description: PDDL+ planning through compilation to SMT