Metadata-Version: 2.1
Name: solverpy
Version: 1.7.0
Summary: Python inteface for Automated Reasoning (AR) solvers, provers, and checkers.
Project-URL: Homepage, https://github.com/cbboyan/solverpy
Project-URL: Bug Tracker, https://github.com/cbboyan/solverpy/issues
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.7
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: PyYAML
Requires-Dist: numpy
Requires-Dist: Requests
Requires-Dist: scikit_learn
Requires-Dist: scipy
Requires-Dist: tqdm
