danbryce/preal
PDDL+ planning with dReal
Public GitHub Catalog
Discovered Oct 1, 2026
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.
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.
#21050421GitHub System ID
danbryceOrganization / User
PublicVisibility
ActiveCatalog Status
More from danbryce
danbryce/VAL
The plan validation system.
danbryce/jpf-core2
Public repository.
danbryce/dreal
dReal: An SMT Solver for Nonlinear Theories of the Reals