An experimental package for solving various versions of multi-agent path finding problem (MAPF). Most of solvers in the package are based on the reduction to propositional satisfiability (SAT). This is the original implementation of the MDD-SAT solver.
☆10Aug 5, 2022Updated 4 years ago
Alternatives and similar repositories for reLOC
Users that are interested in reLOC are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Multi-agent path finding (MAPF), Token Swapping (TSWAP) and related solvers. Among others SMT-based solvers, variants of CBS, and SAT-bas…☆19Jun 10, 2026Updated 5 months ago
- C++ implementation of CBS with using SIPP as a low-level planner☆11Nov 27, 2018Updated 7 years ago
- Disjoint CBSH and IDCBS integrated with LPA* and other incremental techniques☆11Apr 17, 2021Updated 5 years ago
- ☆20Nov 5, 2026Updated last week
- Improved Heuristics for Multi-Agent Path Finding with Conflict-Based Search☆81Mar 15, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- naive implementations of Multi-Agent Path Finding algorithms☆15Sep 4, 2025Updated last year
- Concurrent heap-based priority queue.☆13Feb 19, 2021Updated 5 years ago
- An optimal MAPF sovler: CBS+prioritizing conflicts+bypassing+high-level heuritstics+symmetry reasoning☆140Jul 24, 2024Updated 2 years ago
- Algorithm for prioritized multi-agent path finding (MAPF) in grid-worlds. Moves into arbitrary directions are allowed (each agent is allo…☆128Dec 5, 2021Updated 4 years ago
- AESAT: An optimization framework for SAT solvers based on LLM☆20May 8, 2026Updated 6 months ago
- Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding (IJCAI-19)☆43Nov 23, 2021Updated 4 years ago
- (Integer) linear (and quadratic) programming for Elixir (using the HiGHS solver)☆14Feb 21, 2026Updated 8 months ago
- Decomposing instance into subproblem with priority☆13Jul 18, 2026Updated 3 months ago
- Vibe OOP: diagram-driven, object-oriented prompt engineering for turning complex ideas into structured code flows.☆14Apr 16, 2026Updated 6 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- whyruby.info & rubycommunity.org☆15Oct 29, 2026Updated 2 weeks ago
- Implementation of "Topological constraints in search-based robot path planning" by S. Bhattacharya et. al.☆14Aug 21, 2017Updated 9 years ago
- windows dpapi, process sensitive data protection protected☆13Mar 8, 2018Updated 8 years ago
- Time-Optimal Any-Angle Safe Interval Path Planning☆11Mar 13, 2021Updated 5 years ago
- Re:Earth back-end☆16Aug 16, 2022Updated 4 years ago
- A naive implementation of the Gomory cutting plane algorithm☆15Apr 3, 2026Updated 7 months ago
- 3 algorithms for classical MAPF on 4 connected grid in one project☆38Jun 30, 2022Updated 4 years ago
- Time-Independent Planning for Multiple Moving Agents (AAAI-21)☆15Mar 16, 2023Updated 3 years ago
- Julia dashboard for analysis of cryptocurrency market data☆14Feb 16, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Triangle Counting for the GPU using CUDA.☆14Nov 5, 2015Updated 11 years ago
- animals 是一个对 boost.beast 的更高层次抽象实现，增加常用的功能如ssl，url, socks/http代理等支持，以更易于使用为目标。☆12Nov 11, 2023Updated 3 years ago
- Official implementation of FastMapSVM algorithm for classifying complex objects.☆20Sep 18, 2023Updated 3 years ago
- HNCcorr algorithm for neuron identification in calcium imaging datasets.☆11Feb 11, 2023Updated 3 years ago
- A Multi-threaded C++ RabbitMQ RPC server example☆10Nov 22, 2016Updated 9 years ago
- Reduced and simplified C interface to SCIP☆15Mar 5, 2019Updated 7 years ago
- In efforts to solve a dynamic travelling salesman problem☆10Sep 14, 2019Updated 7 years ago
- CTRMs: Learning to Construct Cooperative Timed Roadmaps for Multi-agent Path Planning in Continuous Spaces (AAMAS-22)☆39Jan 5, 2023Updated 3 years ago
- Open source RDP client for Android OS☆14May 17, 2012Updated 14 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Edge N-Level Sparse Visibility Graphs for fast optimal Any-Angle Pathfinding☆25Jul 4, 2017Updated 9 years ago
- Further development has been moved to a new repository https://github.com/wangyiqiu/dbscan-python☆18Feb 13, 2023Updated 3 years ago
- OpenMP-based parallel program for counting the number of triangles in a sparse graph☆17Jun 7, 2026Updated 5 months ago
- A bounded-suboptimal solver for Multi-Agent Path Finding☆142Jul 24, 2024Updated 2 years ago
- path planning using splines and frenet coordinates☆10Oct 2, 2017Updated 9 years ago
- qMuVi - A python package that converts quantum circuits into audiovisual experiences, bridging the gap between complex quantum computatio…☆17Nov 19, 2025Updated 11 months ago
- Bot Auto Checkout Flashsale Shopee Promo versi 2. Feature : Auto Login. Auto Checkout. Bahan untuk di Pc : Net framework 4.8 : https:/…☆17Sep 7, 2026Updated 2 months ago
Are these results useful?