Metadata-Version: 1.1
Name: PyBoolector
Version: 3.2.1.20200906.12
Summary: Python wrapper around the Boolector SMT solver
Home-page: https://github.com/boolector/boolector
Author: Matthew Ballance
Author-email: matt.ballance@gmail.com
License: Apache 2.0
Download-URL: https://pypi.org/project/PyBoolector/
Description: This package, specifically, enables the Boolector Python wrapper to be installed from Py-Pi
        
Platform: Any
Classifier: Development Status :: 5 - Production/Stable
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 2
Classifier: Programming Language :: Python :: 2.7
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.4
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 :: Implementation :: CPython
Classifier: Programming Language :: Python :: Implementation :: PyPy
Classifier: Topic :: Software Development :: Libraries :: Python Modules
