[console_scripts]
klee=klee.main:cli

