Module Smtml.Solver_intfSource

Solver Interface Module. This module defines interfaces for interacting with SMT solvers, including batch and incremental modes. It provides a generic interface for working with different SMT solvers and their functionalities.

Module Types

Sourcemodule type S = sig ... end

The S module type defines the core interface for interacting with SMT solvers, including solver creation, constraint management, and result retrieval.

Sourcemodule type Intf = sig ... end

The Intf module type defines the interface for creating and working with solvers, including batch, cached, and incremental modes.