pbn 0.1.0

Programming by Navigation types and traits
Documentation
  • Coverage
  • 100%
    25 out of 25 items documented0 out of 20 items with examples
  • Size
  • Source code size: 7.77 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 2.07 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 13s Average build duration of successful builds.
  • all releases: 14s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • justinlubin/pbn-rs
    0 0 2
  • crates.io
  • Dependencies
    • —
  • Versions
  • Owners
  • justinlubin

Types and traits for Programming by Navigation

Programming by Navigation is an interactive program synthesis problem in which a [StepProvider] provides a list of next [Step]s that a step decider can choose between.

To solve the Programming by Navigation Synthesis Problem, these steps are required to satisfy properties called Strong Soundness and Strong Completeness, which roughly say that all provided steps can lead to a valid solution and that all possibly-reachable valid solutions are reachable among just the provided steps (respectively). Validity is an arbitrary notion defined by a [ValidityChecker].

Usage

The [Controller] struct can be used to conveniently manage a Programming by Navigation interactive session. Its API (and implementation) is a good starting point to see how all the components hook together.