def

details

attribute	current value
name	def
description	no description
owning solver	OSTRICH 1.2

contents

#!/bin/bash

HERE=`dirname $0`
input="$1"
output="$2/$(basename $1 smt2)out"

"$HERE"/../ostrich +quiet +parikh "$input" >"$output" 2>/dev/null
cat "$output"

back to OSTRICH 1.2