#!/bin/bash
tee yices.in | yices $@ | tee yices.out
