FedericoPecora / meta-csp-framework
The Meta-CSP Framework: a Java API for meta-constraint reasoning
☆13Updated 3 years ago
Alternatives and similar repositories for meta-csp-framework
Users that are interested in meta-csp-framework are comparing it to the libraries listed below
Sorting:
- The hierarchical planner CHIMP (Conflict-driven Hierarchical Meta-CSP Planner).☆17Updated last year
- ☆26Updated 10 months ago
- PDDL planner for ROS☆9Updated 11 years ago
- Some AI planners that work with PDDL, file examples and integration in ROSPlan.☆23Updated 7 years ago
- Solving a planning problem (Shakey's World) with the FF and IPP planners, the PDDL language and some Python meta-programming to glue thin…☆16Updated 7 years ago
- Toolbox for automated planning and combinatorial solving.☆50Updated this week
- Petri Net Plans library and applications☆31Updated last year
- FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.☆31Updated 3 years ago
- LAPKT public repository☆40Updated last month
- patrolling_sim for ROS☆36Updated 3 years ago
- Lab is a framework for evaluating planners and other solvers.☆34Updated this week
- Tutorials and Demos for ROSPlan.☆49Updated 3 years ago
- A Task-Motion Planning Framework☆51Updated 4 years ago
- Algorithms for solving temporal planning problems☆28Updated 2 years ago
- Source files for the 2020 ICAPS Online Summer School Lab on Plan Execution.☆11Updated 4 years ago
- PDDL exercises and coursework assignments.☆49Updated last month
- Symk is a state-of-the-art classical optimal and top-k planner.☆40Updated last month
- ROSMonitoring: a Runtime Verification Framework for ROS☆40Updated 2 months ago
- AI planners written in Python☆32Updated 3 years ago
- KT-BT: A Framework for Knowledge Transfer Through Behavior Trees in Multirobot Systems☆16Updated 9 months ago
- Autonomous pursuit-evasion for swarms of ground robots. Built on ROS.☆10Updated 6 years ago
- Behavior Trees Library for The Robot Operating System (ROS)☆23Updated 8 years ago
- Learning Behavior Trees using Genetic Programming☆25Updated 3 years ago
- Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)☆31Updated last year
- Simultaneous task allocation and motion scheduling (STAAMS) solver based on constraint programming and optimization, implemented for the …☆18Updated 6 years ago
- PDDL+ planning through compilation to SMT☆46Updated 2 years ago
- Reinforcement Learning for Classical Planning☆11Updated 3 years ago
- STRIPS benchmarks for classical planning☆13Updated 3 years ago
- The Open Task Planning Library☆13Updated last year
- probabilistic planning system for tasks encoded in RDDL☆45Updated 2 years ago