[console_scripts]
model-checker = __main__:main
