Metadata-Version: 2.4
Name: solverpy
Version: 2.0.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
