#!/usr/bin/env bash
THIS="$(cd "$(dirname "$0")"; pwd)"
DYLD_LIBRARY_PATH="$DYLD_LIBRARY_PATH:$THIS" "$THIS"/cvc4-solver "$@"
