vampire_smtcomp

loading
details
attribute current value
name vampire_smtcomp
description no description
owning solver vampire_4.8_smt_pre
contents
./vampire --ignore_missing on --bad_option off --mode smtcomp $1 2>/dev/null  

back to vampire_4.8_smt_pre