Metadata-Version: 2.1
Name: idp-solver
Version: 0.7.3
Summary: IDP-Z3 is a collection of software components implementing the Knowledge Base paradigm using the IDP language and a Z3 SMT solver.
Home-page: https://www.idp-z3.be
License: GNU LGPL 3
Author: pierre.carbonnelle
Author-email: pierre.carbonnelle@cs.kuleuven.be
Requires-Python: >=3.7,<4.0
Classifier: License :: Other/Proprietary License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Requires-Dist: Click (>=7.0,<8.0)
Requires-Dist: pretty-errors (>=1.2.19,<2.0.0)
Requires-Dist: sphinxcontrib-mermaid (==0.6.3)
Requires-Dist: textX (>=2.1.0,<3.0.0)
Requires-Dist: z3-solver (==4.8.8.0)
Project-URL: Documentation, https://docs.idp-z3.be
Project-URL: Repository, https://gitlab.com/krr/IDP-Z3
Description-Content-Type: text/markdown

This package is deprecated.

Please use [idp-engine](https://pypi.org/project/idp-engine/) instead.
