Pinned Repositories
aima-python
Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
BFWS-public
Best First Width Search Planners
downward
The Fast Downward domain-independent classical planning system
enhsp-containers
ENHSP Containers. This contains singularity recipes for ENHSP. ENHSP-18, ENHSP-19 and ENHSP20. More details can be found at https://sites.google.com/view/enhsp/
itsat
ITSAT planner from IPC 2014
ndcpces
NDCPCES is a non-deterministic conformant planner based on counterexample guided sampling.
planning-numeric-domains-generators
Repository for numeric planning domains generators
planning-wiki
By the community, for everyone. Planning.wiki is the online guide to AI Planning
planutils-enhsp2023
General library for setting up linux-based environments for developing, running, and evaluating planners.
tcore
hstairs's Repositories
hstairs/downward
The Fast Downward domain-independent classical planning system
hstairs/planning-numeric-domains-generators
Repository for numeric planning domains generators
hstairs/aima-python
Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
hstairs/BFWS-public
Best First Width Search Planners
hstairs/enhsp-containers
ENHSP Containers. This contains singularity recipes for ENHSP. ENHSP-18, ENHSP-19 and ENHSP20. More details can be found at https://sites.google.com/view/enhsp/
hstairs/itsat
ITSAT planner from IPC 2014
hstairs/ndcpces
NDCPCES is a non-deterministic conformant planner based on counterexample guided sampling.
hstairs/planning-wiki
By the community, for everyone. Planning.wiki is the online guide to AI Planning
hstairs/planutils-enhsp2023
General library for setting up linux-based environments for developing, running, and evaluating planners.
hstairs/tcore
hstairs/vscode-pddl
Planning Domain Description Language (PDDL) grammar, syntax highlighting, code snippets, parser and planner integration for Visual Studio Code.
hstairs/z3
The Z3 Theorem Prover