#

prover

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

c-cube / sidekick

A modular library for CDCL(T) SMT solvers, with [wip] proof generation.

functor formal-methods sat-solver smt-solver prover congruence-closure cdcl-t

Updated Jan 28, 2025
SMT

Improve this page

Add a description, image, and links to the prover 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 prover topic, visit your repo's landing page and select "manage topics."