__init__.py
dimacs.py