vampire_smtcomp

loading
details
attribute current value
name vampire_smtcomp
description no description
owning solver vampire-4.3-smt
contents 
./vampire --ignore_missing on --mode smtcomp $1

back to vampire-4.3-smt