[console_scripts]
yices_python_info = yices:main

