![]() You are receiving this because you were mentioned. Z3 is the only solver that currently works So you probablyĭo not have installed the python bindings of MathSAT (you can try toĮxecute import mathsat in a python interpreter and see if it succeeds).Īs of now, we have not managed to automatically compile the MathSAT pythonīindings under windows yet. MathSAT, but you will need quite a lot of dependencies. Ideally, you should run thisįile (as a normal distutils file) to *compile* the python bindings of MathSAT zip file, you can see that there is a setup.py file in the pythonĭirectory (also see the README file there). Python bindings on windows is not so easy. On 2:53 p.m., "Andrea Micheli" Unfortunately running the MathSAT
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. Archives
January 2023
Categories |