package smtml

  1. Overview
  2. Docs
package smtml
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Smtml.OptimizerSource

Sourcemodule type S = Optimizer_intf.S

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

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

Sourcemodule Z3 : S

Z3 is a predefined optimizer implementation using the Z3 solver.