reachability_solver (cargo): A linear reachability solver for directional edges
Keywords: solver|theorem|proving|reachability|reasoning