mc2.smtlib
Mc2_smtlib
mc2.backend
mc2.core
mc2.dimacs
mc2.lra
mc2.propositional
mc2.uf
mc2.unin_sort
This library provides a parser, a type-checker, and a solver interface for processing SMTLib-2 problems.
module PA = Smtlib_utils.V_2_6.Ast
module Typecheck : sig ... end
type 'a or_error = ('a, string) CCResult.t
module Make (ARG : sig ... end) : sig ... end