How to solve this error?

[Sree Harsha]

getting an error while running PYSMT

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")

[Andrea Micheli]

Hi!

it seems that you do not have the visual studio requirements to run cython, but for some reason cython is installed on your system.

You can work-around this issue by setting the environment variable PYSMT_CYTHON to "false" and run pysmt again. Otherwise, you can install Visual Studio for Python and try again.

HTH

Andrea

--
You received this message because you are subscribed to the Google Groups "pySMT" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pysmt+un...@googlegroups.com.
To post to this group, send email to py...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/pysmt/1cee7d9b-95ac-49f6-bc07-94d18b061585%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Rocky]

I have installed visual studio its working but getting another error:

  File "c:\users\donep\anaconda2\lib\distutils\msvc9compiler.py", line 299, in query_vcvarsall

    raise ValueError(str(list(result.keys())))

ValueError: [u'path']

[Andrea Micheli]

It's hard to say from just the path, but it seems a problem with the python distutil.

I know that on Windows (please, if possible use Linux with pysmt!) there is quite a complex interaction between python and visual studio.

Have a look here (https://wiki.python.org/moin/WindowsCompilers) and see if you can troubleshoot the problem.

HTH

A. 

--
You received this message because you are subscribed to the Google Groups "pySMT" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pysmt+un...@googlegroups.com.
To post to this group, send email to py...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/pysmt/6ba91e55-aac3-4598-ba14-1f0ca6954d17%40googlegroups.com.

For more options, visit https://groups.google.com/d/optout.

--

Le informazioni contenute nella presente comunicazione sono di natura privata e come tali sono da considerarsi riservate ed indirizzate esclusivamente ai destinatari indicati e per le finalità strettamente legate al relativo contenuto. Se avete ricevuto questo messaggio per errore, vi preghiamo di eliminarlo e di inviare una comunicazione all’indirizzo e-mail del mittente.

--

The information transmitted is intended only for the person or entity to which it is addressed and may contain confidential and/or privileged material. If you received this in error, please contact the sender and delete the material.

[Marco Gario]

Is the error still present if you disable cython? As Andrea mentioned, there seems to be a problem with the cython setup on your python distribution. 

For context, if cython is installed, we compile the smtlib parser for improved performance. This requires a compiler. It seems that in your case there are issues with VS compiler. 

See https://pysmt.readthedocs.io/en/latest/getting_started.html#cython

Let us know, 

Marco 

To view this discussion on the web visit https://groups.google.com/d/msgid/pysmt/CAJ03o2OZqnhLtijhRb2h0nPbwhcuOSZe4JwS2WO%3DOuMeRsvf_Q%40mail.gmail.com.

[Rocky]

ITS WORKING IN LINUX

On Saturday, March 16, 2019 at 9:36:46 PM UTC-5, Rocky wrote: