default

loading
details
attribute current value
name default
description no description
owning solver z3-4.8.11
contents
#!/bin/bash

if [ "$#" -eq 0 ]; then
	# incremental track
	./z3 -smt2 -in
else
	./z3 -smt2 "$1" 2>"$2"/error.log
fi

back to z3-4.8.11