Metadata-Version: 2.1
Name: idp-solver
Version: 0.5.5
Summary: IDP-Z3 is a collection of software components implementing the Knowledge Base paradigm using the IDP language and a Z3 SMT solver.
Author: pierre.carbonnelle
Author-email: pierre.carbonnelle@cs.kuleuven.be
Requires-Python: >=3.7,<4.0
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Requires-Dist: Click (>=7.0,<8.0)
Requires-Dist: textX (>=2.1.0,<3.0.0)
Requires-Dist: z3-solver (==4.8.8.0)
