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

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