Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / danielbal21 / BMC_Path_Planning
Solve grid-based pathfinding challenges efficiently. Our tool transforms grids into SAT problems using Kripke Structures and Boolean formulas, ensuring step-by-step validity while avoiding collisions. Simplify navigation in dynamic environments with central and dynamic agents.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/danielbal21%2FBMC_Path_Planning
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language: Python
Repo Size: 54.6 MB
Dependencies:
0
Created: about 1 year ago
Updated: 27 days ago
Last pushed: 27 days ago
Last synced: 26 days ago
Topics: automata-theory, bmc, hyper-properties, kripke, pathfinding, pathplanning, sat, z3
Files
No dependencies found