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
- The hierarchical planner CHIMP (Conflict-driven Hierarchical Meta-CSP Planner).☆17Updated last year
- Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)☆31Updated last year
- probabilistic planning system for tasks encoded in RDDL☆42Updated 2 years ago
- Some AI planners that work with PDDL, file examples and integration in ROSPlan.☆23Updated 6 years ago
- Instant install script for ROS☆25Updated 3 years ago
- LAPKT public repository☆40Updated this week
- ☆26Updated 9 months ago
- A free and open guide to Planning Domain Definition Language to help you get started☆18Updated 2 years ago
- Translating HTN planning problems to PDDL☆20Updated 3 years ago
- ☆22Updated 4 years ago
- Behavior Trees Library for The Robot Operating System (ROS)☆23Updated 8 years ago
- PDDL exercises and coursework assignments.☆46Updated 3 months ago
- FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.☆31Updated 3 years ago
- RobOptim Trajectory: trajectories, splines, and more.☆20Updated 6 years ago
- Simulation environment for rigid body dynamics featuring rewindable variables, visualization, and the Java progamming language.☆13Updated 7 months ago
- PDDL+ planning through compilation to SMT☆46Updated 2 years ago
- Electron and Web tool to draw the ROS Graph resorting on roslibjs and RosBridge☆19Updated 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
- A collection of Node-red nodes for connecting with ROS (Robot Operating System)☆15Updated 6 years ago
- STRIPS benchmarks for classical planning☆13Updated 3 years ago
- A lightweight package for providing and consuming ROS services, actions, and topics as RESTful web services☆40Updated 6 years ago
- SDF Models for simulation of the iCub humanoid robot in Gazebo.☆16Updated 3 years ago
- ☆64Updated 3 weeks ago
- A heuristic PDDL+ planner based on the Discretise & Validate approach.☆14Updated 7 years ago
- Petri Net Plans library and applications☆31Updated last year
- A bidirectional interface between ROS and Prolog☆12Updated last year
- Robot-agnostic online coordination for multiple robots☆53Updated 2 years ago
- Data persistence for ROS using MongoDB☆34Updated 5 months ago
- Toolbox for automated planning and combinatorial solving.☆49Updated this week
- Tutorials and Demos for ROSPlan.☆48Updated 3 years ago