pbn 0.4.0

Programming by Navigation types and traits
Documentation
  • Coverage
  • 100%
    27 out of 27 items documented0 out of 22 items with examples
  • Size
  • Source code size: 9.52 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 2.04 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 17s 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

Programming by Navigation

Programming by Navigation is an interactive program synthesis problem in which a step provider provides a list of next steps 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).

This Rust crate provides a helpful interface for working with the concepts defined in Section 3 of the Programming by Navigation paper.