{ "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-finnbarroc", "package_url": "https://pypi.org/project/aiutare-finnbarroc/", "platform": "", "project_url": "https://pypi.org/project/aiutare-finnbarroc/", "project_urls": { "Homepage": "https://github.com/FedericoAureliano/aiutare" }, "release_url": "https://pypi.org/project/aiutare-finnbarroc/0.0.1/", "requires_dist": [ "mongoengine", "matplotlib", "numpy", "progressbar2", "pymongo", "psutil" ], "requires_python": "", "summary": "A benchmarking framework for SAT, SMT, and equivalence checking programs.", "version": "0.0.1" }, "last_serial": 5442503, "releases": { "0.0.1": [ { "comment_text": "", "digests": { "md5": "93db9b2b0df716be8c68faceeefd4026", "sha256": "eca4811989a52b62d918346674abb2da23d9b737b3f4ff0250e0125771acff65" }, "downloads": -1, "filename": "aiutare_finnbarroc-0.0.1-py3-none-any.whl", "has_sig": false, "md5_digest": "93db9b2b0df716be8c68faceeefd4026", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": null, "size": 8213, "upload_time": "2019-06-24T20:39:27", "url": "https://files.pythonhosted.org/packages/16/1b/18b1641c02e1a82fd5cdb0aa94615f454ed5ee0e3de320adfcadf3b366c0/aiutare_finnbarroc-0.0.1-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "58f9890e2aef366b4970df615204fed8", "sha256": "2fe6583f6a2cf0d7b4d4d1f7d008f535ffbeccebde6a7aca2e7be464eb53f6f9" }, "downloads": -1, "filename": "aiutare-finnbarroc-0.0.1.tar.gz", "has_sig": false, "md5_digest": "58f9890e2aef366b4970df615204fed8", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 6179, "upload_time": "2019-06-24T20:39:31", "url": "https://files.pythonhosted.org/packages/1d/41/888fff3fee540d1e8e8cd61f8e958f639a98ee36bb371e1c8d9b584cf2a5/aiutare-finnbarroc-0.0.1.tar.gz" } ] }, "urls": [ { "comment_text": "", "digests": { "md5": "93db9b2b0df716be8c68faceeefd4026", "sha256": "eca4811989a52b62d918346674abb2da23d9b737b3f4ff0250e0125771acff65" }, "downloads": -1, "filename": "aiutare_finnbarroc-0.0.1-py3-none-any.whl", "has_sig": false, "md5_digest": "93db9b2b0df716be8c68faceeefd4026", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": null, "size": 8213, "upload_time": "2019-06-24T20:39:27", "url": "https://files.pythonhosted.org/packages/16/1b/18b1641c02e1a82fd5cdb0aa94615f454ed5ee0e3de320adfcadf3b366c0/aiutare_finnbarroc-0.0.1-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "58f9890e2aef366b4970df615204fed8", "sha256": "2fe6583f6a2cf0d7b4d4d1f7d008f535ffbeccebde6a7aca2e7be464eb53f6f9" }, "downloads": -1, "filename": "aiutare-finnbarroc-0.0.1.tar.gz", "has_sig": false, "md5_digest": "58f9890e2aef366b4970df615204fed8", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 6179, "upload_time": "2019-06-24T20:39:31", "url": "https://files.pythonhosted.org/packages/1d/41/888fff3fee540d1e8e8cd61f8e958f639a98ee36bb371e1c8d9b584cf2a5/aiutare-finnbarroc-0.0.1.tar.gz" } ] }