PontusHanssen / pddl.vimLinks
Planning and Domain Definition Language (PDDL) syntax highlighting for vim
☆10Updated 2 years ago
Alternatives and similar repositories for pddl.vim
Users that are interested in pddl.vim are comparing it to the libraries listed below
Sorting:
- ☆15Updated last year
- ☆46Updated last year
- Lab is a framework for evaluating planners and other solvers.☆34Updated 2 weeks ago
- 🌍 PDDL instances covering the International Planning Competitions☆143Updated 4 years ago
- Python library for working with Metric Temporal Logic (MTL)☆102Updated 2 years ago
- Tarski - An AI Planning Modeling Framework☆72Updated last month
- Code and Data for DeepLog system☆19Updated 2 years ago
- ☆20Updated 3 weeks ago
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆19Updated 4 years ago
- ForbidIterative planners for top-k, top-quality, and diverse planning problems☆22Updated 4 months ago
- From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)☆79Updated last year
- The plan validation system.☆151Updated 4 years ago
- The AIPlan4EU Unified Planning Library☆292Updated 2 weeks ago
- ☆32Updated last year
- ☆39Updated last year
- General Inductive Logic Programming System☆18Updated 3 years ago
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆22Updated last year
- An inductive logic programming system☆264Updated last week
- Automated Reasoning in Nonlinear Theories of Reals☆179Updated last week
- Latex listing for planning formalisms☆15Updated 3 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆58Updated 2 years ago
- Unquestionable PDDL 3.1 parser☆158Updated 3 weeks ago
- K* search based implementation of top-k and top-quality planners☆17Updated 3 months ago
- ☆46Updated 2 weeks ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Updated 2 years ago
- By the community, for everyone. Planning.wiki is the online guide to AI Planning☆84Updated 2 years ago
- Symk is a state-of-the-art classical optimal and top-k planner.☆41Updated last month
- The Official itSIMPLE Project☆18Updated 9 years ago
- The Vampire Theorem Prover☆392Updated this week
- Language based on Rewriting Logic☆158Updated last week