Smtml.Optimizer
module type S = Optimizer_intf.S
The S module type, which defines the core optimizer interface.
S
module Make (_ : Mappings_intf.S) : S
Make is a functor that creates an optimizer instance from a given mappings module.
Make
module Z3 : S
Z3 is a predefined optimizer implementation using the Z3 solver.
Z3