Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
vampire_smtcomp
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