Metadata-Version: 2.3
Name: python-ta-z3
Version: 2.13.1
Summary: Z3 solver integration for PythonTA
Author: David Liu
Author-email: David Liu <david@cs.toronto.edu>
Requires-Dist: astroid~=4.0.2
Requires-Dist: z3-solver
Requires-Python: >=3.10
Description-Content-Type: text/markdown

# python-ta-z3
