[console_scripts]
harmony = harmony_model_checker.main:main
