Skip to content

c-cube/mc2

Error
Looks like something went wrong!

About

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

c-cube.github.io/mc2/

Topics

ocaml formal-methods smt prover mcsat

Resources

Readme

License

Apache-2.0 license
Activity

Stars

39 stars

Watchers

4 watching

Forks

5 forks
Report repository

Releases

4 tags

Packages

No packages published

Contributors 3

  •  
  •  
  •  

Languages