bin/z3
include/z3++.h
include/z3.h
include/z3_algebraic.h
include/z3_api.h
include/z3_fpa.h
include/z3_interp.h
include/z3_macros.h
include/z3_polynomial.h
include/z3_rcf.h
include/z3_v1.h
%%STATIC%%lib/libz3.a
lib/libz3.so
%%PYTHON_SITELIBDIR%%/libz3.so
%%PYTHON_SITELIBDIR%%/z3.py
%%PYTHON_SITELIBDIR%%/z3.pyc
%%PYTHON_SITELIBDIR%%/z3consts.py
%%PYTHON_SITELIBDIR%%/z3consts.pyc
%%PYTHON_SITELIBDIR%%/z3core.py
%%PYTHON_SITELIBDIR%%/z3core.pyc
%%PYTHON_SITELIBDIR%%/z3num.py
%%PYTHON_SITELIBDIR%%/z3num.pyc
%%PYTHON_SITELIBDIR%%/z3poly.py
%%PYTHON_SITELIBDIR%%/z3poly.pyc
%%PYTHON_SITELIBDIR%%/z3printer.py
%%PYTHON_SITELIBDIR%%/z3printer.pyc
%%PYTHON_SITELIBDIR%%/z3rcf.py
%%PYTHON_SITELIBDIR%%/z3rcf.pyc
%%PYTHON_SITELIBDIR%%/z3test.py
%%PYTHON_SITELIBDIR%%/z3test.pyc
%%PYTHON_SITELIBDIR%%/z3types.py
%%PYTHON_SITELIBDIR%%/z3types.pyc
%%PYTHON_SITELIBDIR%%/z3util.py
%%PYTHON_SITELIBDIR%%/z3util.pyc