phivenv/Lib/site-packages/sympy/logic/utilities/__init__.py

from .dimacs import load_file

__all__ = ['load_file']