aba2sat/scripts/__init__.py