[console_scripts]
seal5 = seal5.cli.main:main
