Module Smtml.Optimizer_intfSource

Optimizer Module. This module defines interfaces for interacting with optimization solvers, including constraint management, optimization objectives, and result retrieval. It provides a generic interface for working with different optimization backends.

Module Types

Sourcemodule type S = sig ... end

The S module type defines the core interface for interacting with optimization solvers.

Sourcemodule type Intf = sig ... end

The Intf module type defines the interface for creating and working with optimization solvers, including a functor for instantiating solvers and a predefined Z3 solver implementation.