🤖 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
Sorting:
- ☆30Sep 3, 2024Updated last year
- 💊 Qualitative and quantitative optimization in answer set programming☆21May 23, 2024Updated last year
- A bounded-suboptimal solver for Multi-Agent Path Finding☆130Jul 24, 2024Updated last year
- ☆32Updated this week
- BCP-MAPF – branch-and-cut-and-price for multi-agent path finding☆98Jul 28, 2025Updated 7 months ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Jul 13, 2023Updated 2 years ago
- Collection of ASP encodings for asprilo☆22Jun 24, 2021Updated 4 years ago
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 8 years ago
- A lazy-grounding Answer-Set Programming system☆62Nov 22, 2025Updated 3 months ago
- An optimal MAPF sovler: CBS+prioritizing conflicts+bypassing+high-level heuritstics+symmetry reasoning☆127Jul 24, 2024Updated last year
- Iterative Refinement for Real-Time Multi-Robot Path Planning (IROS-21)☆142Apr 14, 2025Updated 10 months ago
- Offline Time-Independent Multi-Agent Path Planning (IJCAI-22, T-RO-23)☆31Apr 14, 2025Updated 10 months ago
- Conflict-Based Search and Enhanced CBS in Julia☆36Feb 18, 2021Updated 5 years ago
- A MAPF framework in C#, with implementations for MA-CBS, ICBS, CBSH, ID, A*, A*+OD, and EPEA*☆52Apr 29, 2025Updated 10 months ago
- Implementation of different versions of Safe Interval Path Planning algorithm that can find bounded-suboptimal solutions.☆33Nov 2, 2021Updated 4 years ago
- An efficient solver for lifelong Multi-Agent Path Finding☆194Dec 17, 2024Updated last year
- Anonymous Multi-Agent Path Finding (MAPF) with Conflict-Based Search and Space-Time A*☆432Aug 30, 2024Updated last year
- Continuous CBS - a modification of conflict based search algorithm, that allows to perform actions (move, wait) of arbitrary duration. Ti…☆257May 30, 2025Updated 9 months ago
- An Efficient Multi-Agent Path Finding Solver for Car-Like Robots☆404Jul 31, 2023Updated 2 years ago
- ☆24Feb 17, 2026Updated 2 weeks ago
- simple multi-agent pathfinding (MAPF) visualizer for research usage☆90Nov 16, 2024Updated last year
- A suite of multi-agent path finding algorithm implementations☆11Mar 26, 2021Updated 4 years ago
- Anytime Multi-Agent Path Finding via Large-Neighborhood Search☆72May 9, 2024Updated last year
- Codes for paper Integrated Task Assignment and Path Planning forCapacitated Multi-Agent Pickup and Delivery☆52Jul 30, 2022Updated 3 years ago
- Pathfinding and search testbed/visualization suite. Current code is in PDB-refactor branch.☆122Feb 3, 2026Updated last month
- ☆37Jul 10, 2022Updated 3 years ago
- Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding (AIJ-22)☆95Apr 14, 2025Updated 10 months ago
- Improved Heuristics for Multi-Agent Path Finding with Conflict-Based Search☆75Mar 15, 2021Updated 4 years ago
- ROS wrapper for CL-CBS☆21Feb 3, 2023Updated 3 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Dec 7, 2023Updated 2 years ago
- Conflict-based search for multi-agent path finding (MAPF)☆88Aug 29, 2022Updated 3 years ago
- Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding (IJCAI-19)☆42Nov 23, 2021Updated 4 years ago
- From LTLf/LDLf To Automata☆22Aug 17, 2020Updated 5 years ago
- Algorithm for prioritized multi-agent path finding (MAPF) in grid-worlds. Moves into arbitrary directions are allowed (each agent is allo…☆121Dec 5, 2021Updated 4 years ago
- An offline visualization tool for analysing solutions to multi-robot coordination problems.☆44Feb 24, 2026Updated last week
- Official implementation of the paper "Multi-Robot Coordination and Layout Design for Automated Warehousing", published in IJCAI 2023.☆24Oct 4, 2023Updated 2 years ago
- 🕰️ A solver for temporal programs.☆22Jun 24, 2024Updated last year
- 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
- Solution of NeurIPS 2020 Flatland Challenge from the team An_old_driver.☆68Nov 16, 2021Updated 4 years ago