Module SmtSource

Sourcemodule Smt_bitwuzla : sig ... end
Sourcemodule Smt_bitwuzla_utils : sig ... end
Sourcemodule Smt_external : sig ... end
Sourcemodule Smt_options : sig ... end

Definition of command-line & programmatic options for SSE

module Smt_sig : sig ... end
Sourcemodule Smt_solver : sig ... end
Sourcemodule Smt_symbolic : sig ... end

Symbolic state