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.