[console_scripts]
pysmt-install = pysmt.cmd.install:main
