Metadata-Version: 2.1
Name: z4-solver
Version: 2019.10.12
Summary: z3++
License: GPL-3.0-only
Author: Asger Hautop Drewsen
Author-email: asgerdrewsen@gmail.com
Requires-Python: >=3.7,<4.0
Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.7
Requires-Dist: z3-solver (>=4.8,<5.0)
