z3-4.8.10-x64-win.zip （52个子文件） 
z3-4.8.10-x64-win bin 
Microsoft.Z3.pdb 95KB msvcp140_2.dll 201KB Microsoft.Z3.dll 219KB
com.microsoft.z3.jar 173KB vcomp140.dll 151KB libz3java.lib 258KB vcruntime140.dll 84KB msvcp140.dll 613KB
z3.exe 15.99MB libz3java.dll 110KB Microsoft.Z3.xml 304KB Microsoft.Z3.deps.json 44KB libz3.dll 15.58MB msvcp140_1.dll 31KB libz3.lib 149KB python z3 z3rcf.py 5KB z3.py 320KB z3poly.py 1KB z3printer.py 45KB z3num.py 16KB __pycache__ z3util.cpython-37.pyc 11KB z3types.cpython-37.pyc 11KB __init__.cpython-37.pyc 373B z3.cpython-37.pyc 342KB z3num.cpython-37.pyc 18KB z3rcf.cpython-37.pyc 6KB z3printer.cpython-37.pyc 42KB z3consts.cpython-37.pyc 9KB z3poly.cpython-37.pyc 1KB z3core.cpython-37.pyc 157KB __init__.py 222B z3types.py 4KB z3core.py 180KB z3util.py 12KB z3consts.py 7KB example.py 1KB libz3.pdb 109.49MB include z3_spacer.h 4KB z3++.h 163KB z3_v1.h 2KB z3_rcf.h 6KB z3_ast_containers.h 6KB z3_api.h 242KB z3_optimization.h 12KB z3_fpa.h 36KB z3_version.h 199B z3.h 550B z3_fixedpoint.h 14KB z3_algebraic.h 7KB z3_polynomial.h 1KB z3_macros.h 336B
LICENSE.txt 1KB资源评论
