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