package smtml

  1. Overview
  2. Docs
On This Page
  1. Module Types
An SMT solver frontend for OCaml

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (9)

Authors

  1. J
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt>
  2. F
    Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
  3. H
    Hichem Rami Ait El Hara <hra@ocamlpro.com>
  4. L
    Léo Andrès <contact@ndrs.fr>
  5. A
    Arthur Carcano <arthur.carcano@ocamlpro.com>
  6. P
    Pierre Chambart <pierre.chambart@ocamlpro.com>
  7. J
    José Fragoso Santos <jose.fragoso@tecnico.ulisboa.pt>

Maintainers

  1. F
    Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>

Sources

v0.14.0.tar.gz
md5=6c441f48710737720ed82747bd32742f
sha512=3115c0df387b1aa34680996653fc5c3cbdcc77d55a8c1e100197ad99c890f00acc06cf80b0090e98919c1220de0bd04e838430ad77d9877430fafc986ad36b35

doc/smtml/Smtml/Solver_intf/index.html

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.