domschrei / aquaplanningView external linksLinks
Aquaplanning QUick Automated Planning.
β13Oct 13, 2020Updated 5 years ago
Alternatives and similar repositories for aquaplanning
Users that are interested in aquaplanning are comparing it to the libraries listed below
Sorting:
- πΊοΈ ASP planning tools for PDDLβ32Jul 9, 2021Updated 4 years ago
- The INVAL plan validator, and other PDDL tools.β22Dec 3, 2023Updated 2 years ago
- Branch of JavaFF planner for PDDL2.1β16Oct 18, 2018Updated 7 years ago
- Tarski - An AI Planning Modeling Frameworkβ72Dec 23, 2025Updated last month
- Deep Successor Representationβ18Mar 6, 2018Updated 7 years ago
- β17Mar 17, 2025Updated 10 months ago
- π PDDL instances covering the International Planning Competitionsβ143Mar 11, 2021Updated 4 years ago
- By the community, for everyone. Planning.wiki is the online guide to AI Planningβ84May 3, 2023Updated 2 years ago
- PDDL+ planning through compilation to SMTβ52Feb 15, 2023Updated 2 years ago
- β25Apr 18, 2015Updated 10 years ago
- PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated β¦β162Sep 26, 2024Updated last year
- General library for setting up linux-based environments for developing, running, and evaluating planners.β134Jan 15, 2026Updated last month
- FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.β31Aug 30, 2021Updated 4 years ago
- The Llunatic Mapping and Cleaning Chase Engineβ37Jan 12, 2024Updated 2 years ago
- tool for postgres to automatically build rest services and web formsβ13Feb 3, 2026Updated last week
- EncryCore node reference implementationβ15Apr 2, 2020Updated 5 years ago
- Lab is a framework for evaluating planners and other solvers.β34Jan 25, 2026Updated 2 weeks ago
- The plan validation system.β151Oct 18, 2021Updated 4 years ago
- Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)β33Dec 5, 2023Updated 2 years ago
- ARM64 fork of Cloudbox, an Ansible and Docker based solution for rapidly deploying a cloud media server. *ALPHA testing*β15Jul 30, 2020Updated 5 years ago
- β12Apr 1, 2021Updated 4 years ago
- This project is deprecated. See: README.mdβ11Feb 16, 2017Updated 8 years ago
- This github repository hosts the code used within my thesis work and my last publication.β12Jul 20, 2017Updated 8 years ago
- Provides a simple way to queue and dispatch events to subscribers.β12Aug 27, 2025Updated 5 months ago
- β10Nov 23, 2024Updated last year
- PDDL Syntax Highlighting, Snippets, Domain Visualization and more for Sublime Textβ37Apr 13, 2018Updated 7 years ago
- SHOP3 Git repositoryβ161Jan 13, 2026Updated last month
- Relational Programming DSL in Scala. Yet another minikanren port!β15Nov 11, 2016Updated 9 years ago
- ProxyConf is a control plane for Envoyproxy that simplifies and secures API management in enterprise environments. It leverages the OpenAβ¦β15Aug 21, 2025Updated 5 months ago
- Rebar3 plugin wrapper around TypErβ12Oct 30, 2024Updated last year
- Generic embedded distributed request rate limiting service for erlang applicationsβ10Mar 7, 2016Updated 9 years ago
- Simple C++ project that includes header only implementations of Monte Carlo Tree Search(MCTS), Temporal Difference Learning, Minimax, anβ¦β11Jan 29, 2026Updated 2 weeks ago
- Repository of benchmarks for SYNTCOMPβ14Sep 16, 2025Updated 4 months ago
- A python framework for Optimal Planning Modulo Theoriesβ12Jan 26, 2024Updated 2 years ago
- L7mp: A L7 multiprotocol proxy and service meshβ16Dec 12, 2025Updated 2 months ago
- FlowCutter submission to PACE 2016β12Sep 20, 2016Updated 9 years ago
- A Framework for building Distributed Consensus Protocolsβ10Oct 13, 2017Updated 8 years ago
- γγγγΌγγΌγΉ HTTP API γγ¬γΌγ γ―γΌγ―β14Nov 6, 2025Updated 3 months ago
- Code and dataset for paper: Multi-stage Deep Classifier Cascades for OpenWorld Recognitionβ14Mar 20, 2020Updated 5 years ago