details

attribute value name vampire-4.4-smtcomp description This is vampire in git version 82ff932670d944eac2fc4e01926500f781f14961 linked against z3 4.8.4 owner Martin Riener uploaded Jun 02 2019 disk size 432.57 MB build status uploaded built

configurations

name	description
vampire_smtcomp	no description

actions

get anonymous link download