[console_scripts]
dnnf=dnnf.__main__:__main__

