package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Binsec_smtlib_bindings`Source

Sourcetype status =

Sourcemodule type TERM = sig ... end

Sourcemodule type S = sig ... end

An incremental solver instance.

Sourcemodule type OPEN = 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)

Sourceval bitwuzla_c : (module OPEN) option

Factory for the legacy Bitwuzla solver.

Sourceval bitwuzla_cxx : (module OPEN) option

Factory for the Bitwuzla solver.

Sourceval z3 : (module OPEN) option

Factory for the Z3 solver.