import sys
from .cvc5_python_base import *
__file__ = cvc5_python_base.__file__