[console_scripts]
model-checker = model_checker.__main__:run
