[console_scripts]
esbmc-ai = esbmc_ai.__main__:main
