details

attribute value name CVC4-master-2016-05-27-cfef263-main description CVC4 for SMT_COMP 1.5_prerelease git master 15a15f5c owner Tjark Weber uploaded 2016-05-30 16:06:45.0 disk size 93.71 MB build status uploaded built

configurations

name	description
default	no description

actions

get anonymous link