archful = true
archive_name = "pyboolector-3.2.4.19342042739.tar.gz"
automode = true
extras = []
license = "MIT"
license_files_present = true
name = "pyboolector"
python_name = "python-pyboolector"
source = "PyPI"
summary = "Python wrapper around the Boolector SMT solver"
url = "https://github.com/boolector/boolector"
version = "3.2.4.19342042739"