Kurorororo / numeric-fast-downwardView external linksLinks
☆15Mar 15, 2024Updated last year
Alternatives and similar repositories for numeric-fast-downward
Users that are interested in numeric-fast-downward are comparing it to the libraries listed below
Sorting:
- ☆20Jan 19, 2026Updated 3 weeks ago
- Tarski - An AI Planning Modeling Framework☆72Dec 23, 2025Updated last month
- Powerlifted Planner☆33Nov 13, 2025Updated 3 months ago
- ForbidIterative planners for top-k, top-quality, and diverse planning problems☆22Oct 4, 2025Updated 4 months ago
- ☆46Nov 18, 2024Updated last year
- Relational Features for Planning☆14Jan 15, 2026Updated last month
- Landmark-Based Approaches for Goal Recognition as Planning.☆14Oct 17, 2025Updated 3 months ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆19Sep 5, 2024Updated last year
- Scalar feature extractor for AI planning problems and domains in PDDL format☆16Dec 14, 2020Updated 5 years ago
- The AIPlan4EU Unified Planning Library☆293Updated this week
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆18Sep 17, 2025Updated 4 months ago
- The INVAL plan validator, and other PDDL tools.☆22Dec 3, 2023Updated 2 years ago
- An extension of the Fast Downward planning system with state-of-the-art algorithms☆20Feb 6, 2026Updated last week
- ACPBench: Reasoning about Action, Change, and Planning☆32Dec 2, 2025Updated 2 months ago
- A collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competition (IPC).☆147Jan 3, 2026Updated last month
- PDDL exercises and coursework assignments.☆54Apr 18, 2025Updated 9 months ago
- Implementation of Symbolic Relational Deep Reinforcement Learning based on Graph Neural Networks☆28Aug 24, 2023Updated 2 years ago
- Algorithms for solving temporal planning problems☆29Jan 27, 2023Updated 3 years ago
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17Feb 3, 2024Updated 2 years ago
- General library for setting up linux-based environments for developing, running, and evaluating planners.☆134Jan 15, 2026Updated last month
- A package for building customizable decision trees and random forests.☆10Oct 6, 2025Updated 4 months ago
- Lab is a framework for evaluating planners and other solvers.☆34Jan 25, 2026Updated 3 weeks ago
- Meta-Reinforcement Learning with Policy Residual Representation☆11Aug 15, 2019Updated 6 years ago
- Stochastic Markov Games☆12Oct 5, 2017Updated 8 years ago
- An open-source logical data modeler to support the model driven data engineering approach.☆15Updated this week
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Jan 5, 2025Updated last year
- A library for generating automata from LTL and LDL formulas with finite-trace semantics.☆11Dec 14, 2021Updated 4 years ago
- Edutainment game teaching players concepts around machine learning☆15Feb 18, 2020Updated 5 years ago
- A rule-based stream reasoning engine utilizing sliding windows☆10Jun 3, 2022Updated 3 years ago
- ☆12Jul 6, 2023Updated 2 years ago
- Integration of the planning system Fast Downward with the unified-planning framework.☆13Aug 5, 2025Updated 6 months ago
- ☆10Jul 23, 2020Updated 5 years ago
- Hypergraph Case-Based Reasoning☆12Jun 14, 2018Updated 7 years ago
- [OBSOLETE] Mozmill CI system driven by Mozilla Pulse and Jenkins☆19Jun 14, 2017Updated 8 years ago
- Julia package for scenario generation for stochastic programs with tail risk measure☆11Nov 16, 2022Updated 3 years ago
- A Gazebo plugin to simulate underwater vehicles☆11Jan 22, 2020Updated 6 years ago
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 7 years ago
- Homework Template for Typst☆12Apr 5, 2023Updated 2 years ago
- ☆11Jun 28, 2022Updated 3 years ago