details

attribute	current value
name	default
description	no description
owning solver	Z3AlphaSMT

contents

#!/bin/sh

../z3 $1

back to Z3AlphaSMT