#!/usr/bin/env bash

"$CVC5_HOME/cvc5-bin" "$@"
