Pinned Loading

1. AI-Planning/planutils AI-Planning/planutils Public

   General library for setting up linux-based environments for developing, running, and evaluating planners.

   Shell 130 36

2. QuMuLab/python-nnf QuMuLab/python-nnf Public

   Manipulate NNF (Negation Normal Form) logical sentences

   Python 17 9

3. QuMuLab/dsharp QuMuLab/dsharp Public

   C++ 18 5

4. QuMuLab/planner-for-relevant-policies QuMuLab/planner-for-relevant-policies Public

   PDDL 32 19

5. QuMuLab/bauhaus QuMuLab/bauhaus Public

   Build logical theories for SAT solvers on the fly

   Python 6 2