Module Smtml.OptimizerSource

The S module type, which defines the core optimizer interface.

Make is a functor that creates an optimizer instance from a given mappings module.

Z3 is a predefined optimizer implementation using the Z3 solver.