details

attribute value name veriT+Alethe description veriT and and the Alethe proof checker for SMTCOMP 2022. owner Hans-Joerg Schurr uploaded 2022-07-02 13:45:04.0 disk size 5.61 MB build status uploaded built

configurations

name	description
default	no description

actions

get anonymous link download