#!/bin/sh
./cvc3 -lang smtlib
