package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type status =
  1. | Sat
  2. | Unsat
  3. | Unknown
module type TERM = sig ... end
module type S = sig ... end

An incremental solver instance.

module type F = functor () -> S

A solver instance factory.

type ('bl, 'bv, 'ax) t = (module S with type Ax.t = 'ax and type Bl.t = 'bl and type Bv.t = 'bv)
val bitwuzla_c : (module F) option

Factory for the legacy Bitwuzla solver.

val bitwuzla_cxx : (module F) option

Factory for the Bitwuzla solver.

OCaml

Innovation. Community. Security.