Module `Smtml.Optimizer_intf`

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

module type S = sig ... end

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

module 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.