details

attribute value name CVC4-smtcomp2017-main description cvc4 git smtcomp2017 3582df14 pcvc4 git smtcomp2017 3582df14 owner Tjark Weber uploaded 2017-06-20 07:04:57.0 disk size 101.85 MB build status uploaded built

configurations

name	description
default	no description

actions

get anonymous link