#!/bin/bash ulimit -s unlimited SOLVERDIR="$(dirname "${BASH_SOURCE[0]}" )" "$SOLVERDIR"/minkeyrink --SMTLIB2 "$1"