[console_scripts]
uvl2cnf = uvllang.cli:uvl2cnf
uvl2smt = uvllang.cli:uvl2smt
