Metadata-Version: 2.1
Name: PyBoolector
Version: 3.2.2.20220115.1
Summary: Python wrapper around the Boolector SMT solver
Home-page: https://github.com/boolector/boolector
Maintainer: Matthew Ballance
Maintainer-email: matt.ballance@gmail.com
License: MIT License
Download-URL: https://pypi.org/project/PyBoolector/
Platform: Any
Classifier: Development Status :: 5 - Production/Stable
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.5
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: Implementation :: CPython
Classifier: Programming Language :: Python :: Implementation :: PyPy
Classifier: Topic :: Software Development :: Libraries :: Python Modules
Requires-Python: >=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*
License-File: LICENSE

This package, specifically, enables the Boolector Python wrapper to be installed from PyPi


