README.txt
setup.py
bin/z3
z3/__init__.py
z3/z3.py
z3/z3consts.py
z3/z3core.py
z3/z3num.py
z3/z3poly.py
z3/z3printer.py
z3/z3rcf.py
z3/z3types.py
z3/z3util.py
z3/include/api_ast_map.h
z3/include/api_ast_vector.h
z3/include/api_context.h
z3/include/api_datalog.h
z3/include/api_goal.h
z3/include/api_log_macros.h
z3/include/api_model.h
z3/include/api_polynomial.h
z3/include/api_solver.h
z3/include/api_stats.h
z3/include/api_tactic.h
z3/include/api_util.h
z3/include/z3++.h
z3/include/z3.h
z3/include/z3_algebraic.h
z3/include/z3_api.h
z3/include/z3_ast_containers.h
z3/include/z3_fixedpoint.h
z3/include/z3_fpa.h
z3/include/z3_logger.h
z3/include/z3_macros.h
z3/include/z3_optimization.h
z3/include/z3_polynomial.h
z3/include/z3_private.h
z3/include/z3_rcf.h
z3/include/z3_replayer.h
z3/include/z3_spacer.h
z3/include/z3_v1.h
z3/lib/libz3.so
z3_solver.egg-info/PKG-INFO
z3_solver.egg-info/SOURCES.txt
z3_solver.egg-info/dependency_links.txt
z3_solver.egg-info/top_level.txt