Skip to content

imandra-ai/batsmt-ocaml

Repository files navigation

batsmt-ocaml

OCaml bindings for the batsmt SMT solver.