Error installing pysmt

Question

Error installing pysmt

HeyItsBethany3 opened this issue 3 years ago · comments

Hi,

I'm struggling to install pysmt following your Readme. Running pip install pysmt and pysmt-install --z3 does not install the solver. pysmt-install --check returns False and Not In Pythons Path.
Is this todo with PYTHONPATH and do you know how to add the correct Path?

Thanks so much for your help,
Bethany

Marco Gario · Answer 1 · Sun Mar 14 2021 16:40:14 GMT+0800 (China Standard Time)

What OS are you running on? Do you get any output when running pysmt-install --z3? Does any of the other solvers work?
From #288 (comment), it seems that you do not even get an ~/.smtsolvers folder. Is that correct?

Bethany Ebel · Answer 2 · Tue Mar 16 2021 00:21:48 GMT+0800 (China Standard Time)

I'm using mac. I don't think any of the other solvers work (at least not msat or cvc4). I do get an ~/.smtsolvers folder with a z3 folder, but it is empty.

The output is this:

`This script allows you to install the solvers supported by pySMT.

By executing this script, you confirm that you have read and agreed
with the licenses of each solver.

Notice: the installation process might require building tools
(e.g., make and gcc).

Continue? [Y]es/[N]o: yes`

Andrea Micheli · Answer 3 · Tue Mar 16 2021 00:38:38 GMT+0800 (China Standard Time)

Dear @HeyItsBethany3,

our continuous integration runs on OSX 10.15 (see: https://dev.azure.com/micheliandrea/PySMT/_build/results?buildId=622&view=results) and the supported solvers are: msat, yices and z3, however some tools need to be installed on the system (and pysmt-install does not currently check for those to be installed.)

We use brew and for OSX we install the following:
brew install gmp gperf swig
In addition, we need a working C/C++ compiler to be installed, i.e. you need to install xcode.

However none of these prerequisites are needed for Z3 so it is strange that you do not get it installed.

Two questions for you:

After the output you pasted in the previous answer is there anything else on the terminal?
Can you try with msat or yices after installing the needed prerequisites above.

Andrea Micheli · Answer 4 · Tue Mar 16 2021 00:55:55 GMT+0800 (China Standard Time)

@HeyItsBethany3 maybe there is a simpler problem: when pysmt-install asks Continue? [Y]es/[N]o: yes you should type just y not yes to make the installation begin. (Just pointing it out, maybe the problem is elsewhere...)

Bethany Ebel · Answer 5 · Tue Mar 16 2021 19:14:43 GMT+0800 (China Standard Time)

Thanks so much, this was the issue! Sorry for so much trouble!

Andrea Micheli · Answer 6 · Tue Mar 16 2021 19:37:59 GMT+0800 (China Standard Time)

@HeyItsBethany3 Excellent!

@marcogario I think we should improve the CLI of pysmt-install... I'll open another issue for this.