Popular repositories Loading

1. cf2cs cf2cs Public

   cf2cs: Conformant planning to Classical planning

   C++ 4

2. translation-based-planners translation-based-planners Public

   Translation-based conformant planners

   Python 3 1

3. prime-implicate prime-implicate Public

   Get prime implicate form of CNF in a DIMACS-like format

   C++ 2

4. pddl-generators pddl-generators Public

   Forked from AI-Planning/pddl-generators

   Unofficial collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competitions (IPC).

   C 2

5. fast-forward-linux-binaries fast-forward-linux-binaries Public

   Linux binaries for the Fast-Forward planning system that accepts PDDL domain and problems

   Shell 1 1

6. libminizinc libminizinc Public

   Forked from MiniZinc/libminizinc

   The MiniZinc compiler

   C++