Wheelodex » Projects » aiutare

aiutare

View on PyPI — Reverse Dependencies (0)

1.0 aiutare-1.0-py3-none-any.whl

Wheel Details

Project: aiutare
Version: 1.0
Filename: aiutare-1.0-py3-none-any.whl
Download: [link]
Size: 8062
MD5: 03dbab326f534d322100e6fa68000552
SHA256: e40764fb667be130805610f0ebc3d5aadbc33cfa2914879e220d0771a957acfd
Uploaded: 2019-06-24 20:39:25 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: aiutare
Version: 1.0
Summary: A benchmarking framework for SAT, SMT, and equivalence checking programs.
Author: Federico Mora, Lukas Finnbarr O'Callahan
Author-Email: fmora[at]cs.toronto.edu, lukasocallahan[at]gmail.com
Home-Page: https://github.com/FedericoAureliano/aiutare
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: POSIX :: Linux
Requires-Dist: mongoengine
Requires-Dist: matplotlib
Requires-Dist: numpy
Requires-Dist: progressbar2
Requires-Dist: pymongo
Requires-Dist: psutil
Description-Content-Type: text/markdown
[Description omitted; length: 378 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.33.4)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
bin/__init__.py sha256=uFYo4hlphAuYv7HHqqvKrlbEIsWRf2ZDOm84X78kD00 26
bin/analyze.py sha256=_K3sJVHw4ySC6u5wvVOjxfvIzVJubEuzgaV4Uj_-nkw 7150
bin/bench.py sha256=AKmhQBjRrDE5xPleP0SUqU_L-tPZc_RQjgJVEKHTg44 2366
bin/config.py sha256=2eYbwqf1P7z5h4s6ca1BXIT4hDL6IjSmEoZ_CyPXIu8 576
bin/drop_databases.py sha256=ZwDLlIRqXoiOW368dbEqpQ-tipmIz7A5M0SHOvH-V_U 147
bin/run.py sha256=OIyYuE-6xQjPIUH_g09BclLuqz1GQKfJZJcO2ucXdb0 3127
bin/test_read_db.py sha256=iBHOXiKFuoYi3_WdC6dTkDjJVYuYmhQcSvzf67ZPQ0A 585
aiutare-1.0.dist-info/LICENSE sha256=80t0DXylztJl_WrhWfQBDmg8DRyWYqCDP_pKe-jUyF0 1122
aiutare-1.0.dist-info/METADATA sha256=Bl4TuZ7MAugYpZIEFF3xmP00txIfE-DcWiUZayUq55c 1045
aiutare-1.0.dist-info/WHEEL sha256=S8S5VL-stOTSZDYxHyf0KP7eds0J72qrK0Evu3TfyAY 92
aiutare-1.0.dist-info/top_level.txt sha256=R96X4WkWzS2JXVjmQGzznHrsb0spoRTVPx0dimUsYls 4
aiutare-1.0.dist-info/RECORD — —

top_level.txt

bin