tobyodavies/PDRplan
An automated planner based on the Property Directed Reachability algorithm
Public GitHub Catalog
Discovered Oct 14, 2026
tobyodavies / LAPKT-public
LAPKT public repository
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#37967231GitHub System ID
tobyodaviesOrganization / User
PublicVisibility
ActiveCatalog Status
More from tobyodavies
tobyodavies/minisat
My experimental fork of minisat to keep "Glue" clauses
tobyodavies/jquery-ui
The official jQuery user interface library.
tobyodavies/python-classtools
Decorator library for classes, inspired by functools