mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-16 22:05:36 +00:00
Code Activity
z3/src/api/python
History
Nuno Lopes 980a0e97f8 Python 3 compat for z3.py; patch by Sarah Winkler 
Signed-off-by: Nuno Lopes <nlopes@microsoft.com>
2015-09-10 09:32:45 +01:00
..
README.txt bindings --> api; and moved nlsat/sat/subpaving tactics 2012-10-31 13:25:36 -07:00
z3.py Python 3 compat for z3.py; patch by Sarah Winkler 2015-09-10 09:32:45 +01:00
z3num.py Add support for Python Fraction object 2012-12-28 13:39:34 -08:00
z3poly.py exposed subresultants aka psc-chain procedure 2012-12-09 16:47:37 -08:00
z3printer.py pull unstable 2015-04-01 14:57:11 -07:00
z3rcf.py Improve html pretty printer for RCF package 2013-01-27 11:24:23 -08:00
z3test.py add missing copyright 2015-06-17 12:48:16 -07:00
z3types.py add missing copyright 2015-06-17 12:48:16 -07:00
z3util.py add missing copyright 2015-06-17 12:48:16 -07:00

README.txt 

You can learn more about Z3Py at:
http://rise4fun.com/Z3Py/tutorial/guide

On Windows, you must build Z3 before using Z3Py.
To build Z3, you should executed the following command
in the Z3 root directory at the Visual Studio Command Prompt

       msbuild /p:configuration=external

If you are using a 64-bit Python interpreter, you should use

       msbuild /p:configuration=external /p:platform=x64


On Linux and OSX, you must install Z3Py, before trying example.py.
To install Z3Py on Linux and OSX, you should execute the following 
command in the Z3 root directory

        sudo make install-z3py