Metadata-Version: 2.4
Name: solverpy
Version: 2.1.1
Summary: Python interface for Automated Reasoning (AR) solvers, provers, and checkers.
Project-URL: Homepage, https://cbboyan.github.io/solverpy/
Project-URL: Source, https://github.com/cbboyan/solverpy
Project-URL: Bug Tracker, https://github.com/cbboyan/solverpy/issues
Project-URL: Changelog, https://github.com/cbboyan/solverpy/blob/main/CHANGELOG.md
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
Classifier: Operating System :: OS Independent
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Requires-Python: >=3.10
Description-Content-Type: text/markdown
Requires-Dist: PyYAML
Requires-Dist: Requests
Requires-Dist: tqdm
Provides-Extra: report
Requires-Dist: markdown; extra == "report"
Requires-Dist: pymdown-extensions; extra == "report"
Requires-Dist: pygments; extra == "report"
