bap-primus-greedy-scheduler

Evaluates all machines in the DFS order
Library primus_greedy_scheduler_plugin
Module Primus_greedy_main . Greedy . Machine . Id . Set . Tree . Named
val is_subset : named -> of_:named -> unit Base.Or_error.t
val equal : named -> named -> unit Base.Or_error.t