{"package": "aiutare-finnbarroc", "summary": "A benchmarking framework for SAT, SMT, and equivalence checking programs.", "pypi_url": "https://pypi.org/project/aiutare-finnbarroc", "piwheels_url": "https://www.piwheels.org/project/aiutare-finnbarroc", "releases": {"0.0.1": {"released": "2019-06-24 20:39:27", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"aiutare_finnbarroc-0.0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/aiutare-finnbarroc/aiutare_finnbarroc-0.0.1-py3-none-any.whl", "filehash": "eca4811989a52b62d918346674abb2da23d9b737b3f4ff0250e0125771acff65", "filesize": 8213, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["matplotlib", "mongoengine", "numpy", "progressbar2", "psutil", "pymongo"]}}}}}