#!/bin/sh
#
# Wrapper script to call the actual prover9-mace4.py script

/usr/local/bin/python3.10 /usr/local/libexec/prover9/p9m4/prover9-mace4.py "$@"
