Traceback (most recent call last):
File "c:\users\donep\anaconda2\lib\runpy.py", line 174, in _run_module_as_main
"__main__", fname, loader, pkg_name)
File "c:\users\donep\anaconda2\lib\runpy.py", line 72, in _run_code
exec code in run_globals
File "C:\Users\donep\Anaconda2\Scripts\pysmt.exe\__main__.py", line 5, in <module>
File "c:\users\donep\anaconda2\lib\site-packages\pysmt\cmd\shell.py", line 25, in <module>
from pysmt.shortcuts import *
File "c:\users\donep\anaconda2\lib\site-packages\pysmt\shortcuts.py", line 38, in <module>
import pysmt.smtlib.parser
File "c:\users\donep\anaconda2\lib\site-packages\pysmt\smtlib\parser\__init__.py", line 91, in <module>
pyxbuild_dir=build_dir)
File "c:\users\donep\anaconda2\lib\site-packages\pyximport\pyximport.py", line 191, in build_module
reload_support=pyxargs.reload_support)
File "c:\users\donep\anaconda2\lib\site-packages\pyximport\pyxbuild.py", line 102, in pyx_to_dll
dist.run_commands()
File "c:\users\donep\anaconda2\lib\distutils\dist.py", line 953, in run_commands
self.run_command(cmd)
File "c:\users\donep\anaconda2\lib\distutils\dist.py", line 972, in run_command
cmd_obj.run()
File "c:\users\donep\anaconda2\lib\site-packages\Cython\Distutils\old_build_ext.py", line 186, in run
_build_ext.build_ext.run(self)
File "c:\users\donep\anaconda2\lib\distutils\command\build_ext.py", line 340, in run
self.build_extensions()
File "c:\users\donep\anaconda2\lib\site-packages\Cython\Distutils\old_build_ext.py", line 194, in build_extensions
self.build_extension(ext)
File "c:\users\donep\anaconda2\lib\distutils\command\build_ext.py", line 499, in build_extension
depends=ext.depends)
File "c:\users\donep\anaconda2\lib\distutils\msvc9compiler.py", line 473, in compile
self.initialize()
File "c:\users\donep\anaconda2\lib\distutils\msvc9compiler.py", line 383, in initialize
vc_env = query_vcvarsall(VERSION, plat_spec)
File "c:\users\donep\anaconda2\lib\distutils\msvc9compiler.py", line 271, in query_vcvarsall
raise DistutilsPlatformError("Unable to find vcvarsall.bat")