Solver instalation problems

[Filipe Pereira]

Good afternoon,

I'm curious in working with the PySMT library and I have found some problems regarding installing a solver.

I installed the PySMT library through the pip install.

I was following the github page and trying to do the first example (Usage example).

As soon as I reached the line is_sat(f), I understood that I forgot to install a solver.

So I followed the instructions but as soon I ran the command: pysmt-install --msat an error ocurred (visible in the attachments - cmdError.png). 

I tried to put the zip file there manually (the most recent version and the 5.3.13) and didn't have much sucess.

I am running windows 10, 64 bit version.

I also updated the PYTHONPATH with the path returned from pysmt-install --env.

I don't know how to proceed.

Thanks for the time and attention.

[Andrea Micheli]

Dear Felipe,

first of all thanks for using pysmt!

Right now, the pysmt-install tool has very limited support and testing under windows: only the Z3 SMT solver is known to work (you can install it with pysmt-install --z3).

If you want to use mathsat or other solvers, you should install them manually (i.e. you should arrive at a point in which python is able to import them: "python -m mathsat" should give no error). We quickly looked into mathsat under windows in the past, and installing it should be doable, the tricky part is to generate the SWIG python wrapper using msvc.

Let us know if you manage to install mathsat or if you have any issue with Z3.

Cheers,

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+unsubscribe@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/b41a269f-4783-43e8-a3ec-cc1e234123d3%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Filipe Pereira]

Decided to install the solver Z3. Immediatly worked.

Thank you so much for the quick response Andrea!

My best regards

terça-feira, 25 de Julho de 2017 às 15:56:28 UTC+1, Andrea Micheli escreveu:

Dear Felipe,

first of all thanks for using pysmt!

Right now, the pysmt-install tool has very limited support and testing under windows: only the Z3 SMT solver is known to work (you can install it with pysmt-install --z3).

If you want to use mathsat or other solvers, you should install them manually (i.e. you should arrive at a point in which python is able to import them: "python -m mathsat" should give no error). We quickly looked into mathsat under windows in the past, and installing it should be doable, the tricky part is to generate the SWIG python wrapper using msvc.

Let us know if you manage to install mathsat or if you have any issue with Z3.

Cheers,

Andrea

On Tue, Jul 25, 2017 at 4:29 PM, Filipe Pereira <filipe.pe...@gmail.com> wrote:

Good afternoon,

I'm curious in working with the PySMT library and I have found some problems regarding installing a solver.

I installed the PySMT library through the pip install.

I was following the github page and trying to do the first example (Usage example).

As soon as I reached the line is_sat(f), I understood that I forgot to install a solver.

So I followed the instructions but as soon I ran the command: pysmt-install --msat an error ocurred (visible in the attachments - cmdError.png). 

I tried to put the zip file there manually (the most recent version and the 5.3.13) and didn't have much sucess.

I am running windows 10, 64 bit version.

I also updated the PYTHONPATH with the path returned from pysmt-install --env.

I don't know how to proceed.

Thanks for the time and attention.

--
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.

[Andrea Micheli]

Glad it worked!

Best,

Andrea

To unsubscribe from this group and stop receiving emails from it, send an email to pysmt+unsubscribe@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/af18ce78-1a2b-4e8e-a71c-bd945325b752%40googlegroups.com.