Popular repositories Loading

1. jpddlplus jpddlplus Public

   Java 3 2

2. downward downward Public

   Forked from aibasel/downward

   The Fast Downward domain-independent classical planning system

   Python 1 1

3. planning-numeric-domains-generators planning-numeric-domains-generators Public

   Repository for numeric planning domains generators

   Python 1

4. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

5. planning-wiki planning-wiki Public

   Forked from nergmada/planning-wiki

   By the community, for everyone. Planning.wiki is the online guide to AI Planning

   CSS

6. vscode-pddl vscode-pddl Public

   Forked from jan-dolejsi/vscode-pddl

   Planning Domain Description Language (PDDL) grammar, syntax highlighting, code snippets, parser and planner integration for Visual Studio Code.

   TypeScript