Popular repositories Loading

1. HenryKautz HenryKautz Public

   Config files for my GitHub profile.

2. downward downward Public

   Forked from aibasel/downward

   The Fast Downward domain-independent classical planning system

   Python

3. OMTPlan OMTPlan Public

   Forked from fraleo/OMTPlan

   A python framework for Optimal Planning Modulo Theories

   Python

4. Madagascar Madagascar Public

   SAT-based PDDL STRIPS planner by Jussi Rintanen

   C

5. Metric-FF Metric-FF Public

   Joerg Hoffmann's Metric-FF PDDL metric STRIPS planner

   C

6. Rantanplan Rantanplan Public

   Joan Espansa's version of Rantanplan, updated to allow compilation on Mac OSX

   Python