pub fn solve(c: &Compiled) -> Report
Evaluate a compiled program: the three-valued forward pass, then the backward pass on BIDIRECTIONAL.
BIDIRECTIONAL