{ "info": { "author": "Simon Bowly", "author_email": "simon.bowly@gmail.com", "bugtrack_url": null, "classifiers": [ "Development Status :: 2 - Pre-Alpha", "Intended Audience :: Developers", "License :: OSI Approved :: MIT License", "Natural Language :: English", "Programming Language :: Python :: 2", "Programming Language :: Python :: 2.7", "Programming Language :: Python :: 3", "Programming Language :: Python :: 3.5", "Programming Language :: Python :: 3.6" ], "description": "Destined\n========\n\nDEclarative Specification for Test INstancE Distributions\n~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\n\nDeclare a distribution of instances by specifying function parameters.\n\n.. code:: json\n\n {\n \"generator\": \"graphs.erdos_renyi\",\n \"parameters\":\n {\n \"nodes\": {\"value\": 100},\n \"edges\": {\"value\": 2500}\n }\n }\n\nNest distribution specifications to vary parameters.\n\n.. code:: json\n\n {\n \"generator\": \"graphs.erdos_renyi\",\n \"parameters\":\n {\n \"nodes\": {\"value\": 100},\n \"edges\":\n {\n \"generator\": \"randint\",\n \"parameters\":\n {\n \"low\": {\"value\": 100},\n \"high\": {\"value\": 4000}\n }\n }\n }\n }\n\nSample from the distribution using system seeds.\n\n.. code:: sh\n\n destined evaluate examples/random-graphs.json 1000 -\n\nExamples\n~~~~~~~~\n\nMeasure connectivity of a particular model of random graphs:\n\n.. code:: json\n\n {\n \"instances\": {\n \"generator\": \"graphs.undirected_noloop_erdos_renyi_np\",\n \"parameters\": {\n \"nodes\": {\n \"generator\": \"choice\",\n \"parameters\": {\n \"seq\": {\"value\": [10, 20, 50, 100]}\n }\n },\n \"prob\": {\n \"generator\": \"uniform\",\n \"parameters\": {\n \"low\": {\"value\": 0},\n \"high\": {\"value\": 0.6}\n }\n }\n }\n },\n \"attributes\": \"graphs.features\"\n }\n\nEvaluating this data shows probability of connectedness of these graphs given their density:\n\n.. image:: examples/figures/random-graphs.png\n\nMeasure satisfiability of the uniform random 3-sat model:\n\n.. code:: json\n\n {\n \"instances\": {\n \"generator\": \"sat.uniform_k_sat\",\n \"parameters\": {\n \"nvariables\": {\"value\": 100},\n \"nclauses\": {\n \"generator\": \"randint\",\n \"parameters\": {\n \"low\": {\"value\": 10},\n \"high\": {\"value\": 1000}\n }\n },\n \"clause_length\": {\"value\": 3}\n }\n },\n \"attributes\": \"sat.features\"\n }\n\nEvaluating this data shows probability of feasibility of these formulae given the clause/variable ratio:\n\n.. image:: examples/figures/random-3sat.png\n\n* Free software: MIT license", "description_content_type": "", "docs_url": null, "download_url": "", "downloads": { "last_day": -1, "last_month": -1, "last_week": -1 }, "home_page": "https://github.com/simonbowly/destined", "keywords": "destined", "license": "MIT license", "maintainer": "", "maintainer_email": "", "name": "destined", "package_url": "https://pypi.org/project/destined/", "platform": "", "project_url": "https://pypi.org/project/destined/", "project_urls": { "Homepage": "https://github.com/simonbowly/destined" }, "release_url": "https://pypi.org/project/destined/0.1.0/", "requires_dist": null, "requires_python": "", "summary": "Declarative specification for test instance distributions.", "version": "0.1.0" }, "last_serial": 3816653, "releases": { "0.1.0": [ { "comment_text": "", "digests": { "md5": "4725a82b4de7913b6a5c312f5f7ef895", "sha256": "164d54317e642f6c97409d9d3798c714d0045f4db3b32042e4af9b40d1ed7e82" }, "downloads": -1, "filename": "destined-0.1.0-py2.py3-none-any.whl", "has_sig": false, "md5_digest": "4725a82b4de7913b6a5c312f5f7ef895", "packagetype": "bdist_wheel", "python_version": "py2.py3", "requires_python": null, "size": 12298, "upload_time": "2018-04-28T10:50:41", "url": "https://files.pythonhosted.org/packages/16/4d/165cbff834fd7a75b80478588b3765b3f66beafc5f53b1d34e794c6fc4cb/destined-0.1.0-py2.py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "25f90076f007b64e59ad70569d534522", "sha256": "b8bb204513dae9217d9d196acff2d3e8f2b215a8395a3a24aff8a2d8296be5b2" }, "downloads": -1, "filename": "destined-0.1.0.tar.gz", "has_sig": false, "md5_digest": "25f90076f007b64e59ad70569d534522", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 12450, "upload_time": "2018-04-28T10:50:29", "url": "https://files.pythonhosted.org/packages/aa/53/311c73f99c29e5f8ee41fad9afce52dc663c84619dfff36093bb40634397/destined-0.1.0.tar.gz" } ] }, "urls": [ { "comment_text": "", "digests": { "md5": "4725a82b4de7913b6a5c312f5f7ef895", "sha256": "164d54317e642f6c97409d9d3798c714d0045f4db3b32042e4af9b40d1ed7e82" }, "downloads": -1, "filename": "destined-0.1.0-py2.py3-none-any.whl", "has_sig": false, "md5_digest": "4725a82b4de7913b6a5c312f5f7ef895", "packagetype": "bdist_wheel", "python_version": "py2.py3", "requires_python": null, "size": 12298, "upload_time": "2018-04-28T10:50:41", "url": "https://files.pythonhosted.org/packages/16/4d/165cbff834fd7a75b80478588b3765b3f66beafc5f53b1d34e794c6fc4cb/destined-0.1.0-py2.py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "25f90076f007b64e59ad70569d534522", "sha256": "b8bb204513dae9217d9d196acff2d3e8f2b215a8395a3a24aff8a2d8296be5b2" }, "downloads": -1, "filename": "destined-0.1.0.tar.gz", "has_sig": false, "md5_digest": "25f90076f007b64e59ad70569d534522", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 12450, "upload_time": "2018-04-28T10:50:29", "url": "https://files.pythonhosted.org/packages/aa/53/311c73f99c29e5f8ee41fad9afce52dc663c84619dfff36093bb40634397/destined-0.1.0.tar.gz" } ] }