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
    Loading...
    Readme
    Loading...

    No dependencies found