4 Forks
38 Stars
38 Watchers

mc2

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

How to download and setup mc2

Open terminal and run command
git clone https://github.com/c-cube/mc2.git
git clone is used to create a copy or clone of mc2 repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with mc2 https://github.com/c-cube/mc2/archive/master.zip

Or simply clone mc2 with SSH
[email protected]:c-cube/mc2.git

If you have some problems with mc2

You may open issue on mc2 support forum (system) here: https://github.com/c-cube/mc2/issues