details

attribute value name mc2 2021-06-07 description mc2 is an experimental mcSAT based SMT solver implemented in OCaml owner Simon Cruanes uploaded Jun 07 2021 disk size 4.2 MB build status uploaded built

configurations

name	description
default.sh	no description

actions

get anonymous link download