mc2version

A mcsat-based SMT solver in pure OCaml

Tags sat smt mcsat
AuthorsSimon Cruanes and Guillaume Bury
LicenseApache
Published
Homepagehttps://github.com/c-cube/mc2
Issue Trackerhttps://github.com/c-cube/mc2/issues/
Maintainersimon.cruanes.2007@m4x.org
Dependencies
Source [http] https://github.com/c-cube/mc2/archive/v0.1.tar.gz
md5=92de696251ec76fbf3eba6ee917fd80f
sha512=e88ba0cfc23186570a52172a0bd7c56053273941eaf3cda0b80fb6752e05d1b75986b01a4e4d46d9711124318e57cba1cd92d302e81d34f9f1ae8b49f39114f0
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/mc2/mc2.0.1/opam
No package is dependent