default

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

./z3 -smt2 -in < "$1" 2>&1

back to z3-4.7.1