[console_scripts]
pysmt = shell:main
pysmt-install = install:main
pysmt-shell = shell:main_interactive

