MC² ("Model Constructing Modular Contraption") is a modular SMT solver in OCaml, based on the MCSat calculus.
mc2.backend
mc2.core
mc2.dimacs
mc2.lra
mc2.propositional
mc2.smtlib
mc2.uf
mc2.unin_sort
https://c-cube.github.io/mc2/
This program is distributed under the Apache Software License version 2.0. See the enclosed file LICENSE.
LICENSE
