toysolver-0.6.0: misc/smtcomp/bin/starexec_run_default

#!/bin/sh
./toysmt "$1"