{ "info": { "author": "Federico Mora, Lukas Finnbarr O'Callahan", "author_email": "fmora@cs.toronto.edu, lukasocallahan@gmail.com", "bugtrack_url": null, "classifiers": [ "License :: OSI Approved :: MIT License", "Operating System :: POSIX :: Linux", "Programming Language :: Python :: 3" ], "description": "# AIUTARE\nAutomated Analysis, Regression, and Evaluation\n\n### Setup\n- See the [Setup wiki page](https://github.com/FedericoAureliano/aiutare/wiki/Setup) for creating the config and other necessary files\n```\nbin/prepare.sh\n```\n- (Currently written only for Ubuntu 16.04 and 18.04)\n\n### Usage\n```\nbin/run.py [absolute path to config.json file] [number of runs; 1 if omitted]\n```\n\n", "description_content_type": "text/markdown", "docs_url": null, "download_url": "", "downloads": { "last_day": -1, "last_month": -1, "last_week": -1 }, "home_page": "https://github.com/FedericoAureliano/aiutare", "keywords": "", "license": "", "maintainer": "", "maintainer_email": "", "name": "aiutare", "package_url": "https://pypi.org/project/aiutare/", "platform": "", "project_url": "https://pypi.org/project/aiutare/", "project_urls": { "Homepage": "https://github.com/FedericoAureliano/aiutare" }, "release_url": "https://pypi.org/project/aiutare/1.0/", "requires_dist": [ "mongoengine", "matplotlib", "numpy", "progressbar2", "pymongo", "psutil" ], "requires_python": "", "summary": "A benchmarking framework for SAT, SMT, and equivalence checking programs.", "version": "1.0" }, "last_serial": 5442502, "releases": { "1.0": [ { "comment_text": "", "digests": { "md5": "03dbab326f534d322100e6fa68000552", "sha256": "e40764fb667be130805610f0ebc3d5aadbc33cfa2914879e220d0771a957acfd" }, "downloads": -1, "filename": "aiutare-1.0-py3-none-any.whl", "has_sig": false, "md5_digest": "03dbab326f534d322100e6fa68000552", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": null, "size": 8062, "upload_time": "2019-06-24T20:39:25", "url": "https://files.pythonhosted.org/packages/04/5c/cb52da7a0fe8985de5f6fca3b69512808f834586bac52fb00dd1c9ecd12e/aiutare-1.0-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "07705abaaed0e0719426bc7d1b425cd4", "sha256": "df53ab818c91dd01cc0e06da69e13021338fc254f0c075e2f9a4248003074c12" }, "downloads": -1, "filename": "aiutare-1.0.tar.gz", "has_sig": false, "md5_digest": "07705abaaed0e0719426bc7d1b425cd4", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 6116, "upload_time": "2019-06-24T20:39:29", "url": "https://files.pythonhosted.org/packages/79/5e/0a62a10311fc09821b3969c4177fac3e4f1de2a230e3d5ab8514714148d7/aiutare-1.0.tar.gz" } ] }, "urls": [ { "comment_text": "", "digests": { "md5": "03dbab326f534d322100e6fa68000552", "sha256": "e40764fb667be130805610f0ebc3d5aadbc33cfa2914879e220d0771a957acfd" }, "downloads": -1, "filename": "aiutare-1.0-py3-none-any.whl", "has_sig": false, "md5_digest": "03dbab326f534d322100e6fa68000552", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": null, "size": 8062, "upload_time": "2019-06-24T20:39:25", "url": "https://files.pythonhosted.org/packages/04/5c/cb52da7a0fe8985de5f6fca3b69512808f834586bac52fb00dd1c9ecd12e/aiutare-1.0-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "07705abaaed0e0719426bc7d1b425cd4", "sha256": "df53ab818c91dd01cc0e06da69e13021338fc254f0c075e2f9a4248003074c12" }, "downloads": -1, "filename": "aiutare-1.0.tar.gz", "has_sig": false, "md5_digest": "07705abaaed0e0719426bc7d1b425cd4", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 6116, "upload_time": "2019-06-24T20:39:29", "url": "https://files.pythonhosted.org/packages/79/5e/0a62a10311fc09821b3969c4177fac3e4f1de2a230e3d5ab8514714148d7/aiutare-1.0.tar.gz" } ] }