default

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

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

back to z3-4.8.8