incremental

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

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

back to z3-4.8.17