Popular repositories Loading

1. FiFO FiFO Public

   Common Lisp 1

2. HenryKautz HenryKautz Public

   Config files for my GitHub profile.

3. downward downward Public

   Forked from aibasel/downward

   The Fast Downward domain-independent classical planning system

   Python

4. OMTPlan OMTPlan Public

   Forked from fraleo/OMTPlan

   A python framework for Optimal Planning Modulo Theories

   Python

5. Madagascar Madagascar Public

   SAT-based PDDL STRIPS planner by Jussi Rintanen

   C

6. Metric-FF Metric-FF Public

   Joerg Hoffmann's Metric-FF PDDL metric STRIPS planner

   C