danbryce/preal
PDDL+ planning with dReal
Public GitHub Catalog
Discovered Sep 24, 2026
danbryce / DeFault
Public repository discovered through GitHub real-time crawl.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#2724127GitHub System ID
danbryceOrganization / User
PublicVisibility
ActiveCatalog Status
More from danbryce
danbryce/VAL
The plan validation system.
danbryce/jpf-core2
Public repository.
danbryce/OpenSPIFe
The Scheduling and Planning Interface for Exploration (SPIFe) is an integrated planning and scheduling toolkit based on hundreds of hours of expert observation, use, and refinement of state-of-the-art planning and scheduling technology for several applications within NASA.