paralegal_policy

Module algo

Source
Expand description

Algorithms for querying the graph

Modulesยง

  • ahb
    Checking always-happens-before relationships
  • flows_to
    Precomputed reachability queries