details

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

configurations

name	description
default.sh	no description

actions

get anonymous link download