vampire_smtcomp

loading
details
attribute current value
name vampire_smtcomp
description no description
owning solver vampire_smt_4.5
contents 
./vampire --mode smtcomp $1

back to vampire_smt_4.5