https://alt-ergo.ocamlpro.com https://github.com/OCamlPro/alt-ergo/
