[console_scripts]
dafni = dafni_cli.dafni:dafni
