There are 0 repository under mcsat topic.
[research] A modular SMT solver in OCaml, based on mcSAT
An ocaml implementation of conflict-driven reasoning