🤖 ASPRILO, an intra-logistics benchmark suite for answer set programming
☆68Feb 3, 2022Updated 4 years ago
Alternatives and similar repositories for asprilo
Users that are interested in asprilo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆30Sep 3, 2024Updated last year
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆87Jul 13, 2023Updated 2 years ago
- A lazy-grounding Answer-Set Programming system☆63Nov 22, 2025Updated 4 months ago
- BCP-MAPF – branch-and-cut-and-price for multi-agent path finding☆98Jul 28, 2025Updated 7 months ago
- ☆35Updated this week
- An optimal MAPF sovler: CBS+prioritizing conflicts+bypassing+high-level heuritstics+symmetry reasoning☆128Jul 24, 2024Updated last year
- Implementation of different versions of Safe Interval Path Planning algorithm that can find bounded-suboptimal solutions.☆33Nov 2, 2021Updated 4 years ago
- Offline Time-Independent Multi-Agent Path Planning (IJCAI-22, T-RO-23)☆31Apr 14, 2025Updated 11 months ago
- An efficient solver for lifelong Multi-Agent Path Finding☆196Dec 17, 2024Updated last year
- simple multi-agent pathfinding (MAPF) visualizer for research usage☆90Nov 16, 2024Updated last year
- Continuous CBS - a modification of conflict based search algorithm, that allows to perform actions (move, wait) of arbitrary duration. Ti…☆261May 30, 2025Updated 9 months ago
- An Efficient Multi-Agent Path Finding Solver for Car-Like Robots☆405Jul 31, 2023Updated 2 years ago
- ROS wrapper for CL-CBS☆21Feb 3, 2023Updated 3 years ago
- Improved Heuristics for Multi-Agent Path Finding with Conflict-Based Search☆76Mar 15, 2021Updated 5 years ago
- Anonymous Multi-Agent Path Finding (MAPF) with Conflict-Based Search and Space-Time A*☆433Aug 30, 2024Updated last year
- ☆24Feb 17, 2026Updated last month
- A solution of Multi-Agent Path Finding problem☆70Apr 16, 2024Updated last year
- Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding (AIJ-22)☆98Apr 14, 2025Updated 11 months ago
- Anytime Multi-Agent Path Finding via Large-Neighborhood Search☆73May 9, 2024Updated last year
- brat rapid annotation tool (brat) - for all your textual annotation needs☆10Feb 3, 2018Updated 8 years ago
- Conflict-Based Search and Enhanced CBS in Julia☆36Feb 18, 2021Updated 5 years ago
- A suite of multi-agent path finding algorithm implementations☆11Mar 26, 2021Updated 4 years ago
- Example of clingo usage on website as a client-side JS program☆14Aug 27, 2019Updated 6 years ago
- Modular IntRalogistics Intelligent plAtforM☆30Sep 4, 2025Updated 6 months ago
- Learnable MAPF. “Distributed Heuristic Multi-Agent Path Finding with Communication” (DHC) algorithm from ICRA 2021 is implemented and ben…☆24Nov 9, 2023Updated 2 years ago
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆67Jul 30, 2025Updated 7 months ago
- An offline visualization tool for analysing solutions to multi-robot coordination problems.☆48Mar 13, 2026Updated last week
- "When to Switch" Implementation: Addressing the PO-MAPF challenge with RePlan & EPOM policies. This repo includes search-based re-plannin…☆40Aug 26, 2024Updated last year
- From LTLf/LDLf To Automata☆22Aug 17, 2020Updated 5 years ago
- ☆18May 9, 2025Updated 10 months ago
- Implementation of the SADG RHC feedback control scheme to reduce route completion times of delayed agents following MAPF plans.☆28Feb 2, 2026Updated last month
- Library with search algorithms for task and path planning for multi robot/agent systems☆991Aug 10, 2023Updated 2 years ago
- A Layered Approach for Multi-Agent Path Finding☆12Jan 5, 2023Updated 3 years ago
- Pathfinding and search testbed/visualization suite. Current code is in PDB-refactor branch.☆123Feb 3, 2026Updated last month
- The main repository integrating the LaTeX beamer-based slides☆30Apr 10, 2025Updated 11 months ago
- 🦉 A grounder and solver for logic programs.☆764Updated this week
- 🕰️ A solver for temporal programs.☆22Jun 24, 2024Updated last year
- The official repo for ICRA 2023 paper 'Accelerating Multi-Agent Planning Using Graph Transformers with Bounded Suboptimality'☆20May 25, 2023Updated 2 years ago
- Algorithm for prioritized multi-agent path finding (MAPF) in grid-worlds. Moves into arbitrary directions are allowed (each agent is allo…☆124Dec 5, 2021Updated 4 years ago