smtproc

#!/bin/bash
./cvc4 --lang=smt2 $1