Module biodivine_sketchbook::algorithms::eval_dynamic::_attractors::saturated_reachability

Reachability algorithms that use saturation for improved efficiency.

Functions

• reach_bwd
  Fully compute back-reachable states from initial inside universe using transitions under variables.
• reachability_step
  Performs one reachability step using the saturation scheme.