[console_scripts]
model-checker = package.test_complete:main
