package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
include Cli.S
val is_enabled : unit -> bool
module Logger : Logger.S

Remove the array theory from formula generated.

type solver =
  1. | Boolector
  2. | Bitwuzla
  3. | Z3
  4. | CVC4
  5. | Yices
module Solver : sig ... end