incremental

loading
details
attribute current value
name incremental
description no description
owning solver MathSAT-5.6.8
contents 
#!/bin/sh

./smtlib2_trace_executor --continue-after-unknown ./smtcomp_run_incremental "$1"

back to MathSAT-5.6.8