default

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

exec ./z3 -smt2 "$1" 2>"$2"/error.log | grep -v '^unsupported$'

back to z3-4.8.17