Source file libsolver.ml

1
2
3
4
5
include Common

let bitwuzla_c : (module F) option = Bitwuzla_c_binding.factory
let bitwuzla_cxx : (module F) option = Bitwuzla_cxx_binding.factory
let z3 : (module F) option = Z3_binding.factory