default

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

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

back to z3-4.8.4-d6df51951f4c