#

mcsat

Here are 2 public repositories matching this topic...

c-cube / mc2

[research] A modular SMT solver in OCaml, based on mcSAT

ocaml formal-methods smt prover mcsat

Updated Jan 1, 2024
SMT

witan-org / witan

An ocaml implementation of conflict-driven reasoning

sat-solver smt-solver mcsat

Updated Jul 13, 2018
OCaml

Improve this page

Add a description, image, and links to the mcsat topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the mcsat topic, visit your repo's landing page and select "manage topics."