Module Generic.Scheduler
The module Scheduler
provides implementations of some generic schedulers for Ego's equality saturation engine.
See Make.BuildRunner
on how to compose a schedule with an EGraph definition.
Generic.Scheduler
The module Scheduler
provides implementations of some generic schedulers for Ego's equality saturation engine.
See Make.BuildRunner
on how to compose a schedule with an EGraph definition.