[console_scripts]
model-checker = src.__main__:main
