{ "info": { "author": "Scott C. Livingston", "author_email": "slivingston@cds.caltech.edu", "bugtrack_url": null, "classifiers": [ "Programming Language :: Python :: 2", "Programming Language :: Python :: 2.7", "Programming Language :: Python :: 3", "Programming Language :: Python :: 3.4", "Programming Language :: Python :: 3.5", "Programming Language :: Python :: 3.6" ], "description": "gr1py\n=====\n\n**gr1py** is an enumerative (or concrete) reactive synthesis tool for the GR(1)\nfragment of LTL. It is pure Python.\n\n\nInstallation\n------------\n\nReleases are available from the `Python Package Index\n`_ at https://pypi.python.org/pypi/gr1py\nTo get it from there and check the version, try ::\n\n pip install gr1py\n gr1py -V\n\n`pip `_ should get dependencies for you if you do not have\nthem. They are\n\n* PLY (http://www.dabeaz.com/ply/)\n\nIf it is available, NetworkX (https://networkx.github.io/) will be used.\nHowever, it is not required. A simple built-in class for directed graphs will\nbe used if NetworkX is not found.\n\nIf you want to hack on gr1py, clone the repository from\nhttps://github.com/slivingston/gr1py.git\n\nCurrent `CI server report `_:\n\n.. image:: https://travis-ci.org/slivingston/gr1py.svg?branch=master\n :alt: build status from Travis CI\n\n\nExamples\n--------\n\nBesides the Python package, a script named ``gr1py`` is installed that provides\naccess to several routines from the command-line. Consider the file named\nexamples/arbiter3.spc that is included in the source release. To check that the\nspecification defined by it can be realized, try ::\n\n gr1py -r examples/arbiter3.spc\n\nTo synthesize a winning strategy and dump it in the Graphviz DOT format, try ::\n\n gr1py -t dot examples/arbiter3.spc > arbiter3-fsm.dot\n dot -Tsvg -O arbiter3-fsm.dot\n\nwhere the second command uses the program ``dot`` (part of Graphviz) to create\nan SVG file, likely named arbiter3-fsm.dot.svg; e.g., the file can be displayed\nusing a Web browser or Inkscape.\n\nA summary of command-line usage can be obtained by ``grpy -h``.\n\n\nInput formats\n-------------\n\nThe default input format is that of gr1c (http://scottman.net/2012/gr1c).\n\n\nOutput formats\n--------------\n\nThese are selected from the command-line using the ``-t`` switch. Each\ncorresponds to a function in ``gr1py.output``.\n\n* ``json`` : `gr1c JSON `_\n* ``dot`` : `Graphviz dot `_\n\n\nFeedback and contributing\n-------------------------\n\nBug reports, feature requests, and comments can be submitted via the `project\nissue tracker `_ or via email to\nthe authors.\n\nCode contributions are welcome. To avoid redundant effort, please check for an\nexisting issue or other indication of prior or intended work before starting.\nWhen ready for review, send a `pull request `_.\n\n\nLicense\n-------\n\nThis is free software released under the terms of `the BSD 3-Clause License\n`_. There is no warranty; not\neven for merchantability or fitness for a particular purpose. Consult LICENSE\nfor copying conditions.", "description_content_type": null, "docs_url": null, "download_url": "", "downloads": { "last_day": -1, "last_month": -1, "last_week": -1 }, "home_page": "https://github.com/slivingston/gr1py", "keywords": "", "license": "BSD", "maintainer": "", "maintainer_email": "", "name": "gr1py", "package_url": "https://pypi.org/project/gr1py/", "platform": "", "project_url": "https://pypi.org/project/gr1py/", "project_urls": { "Homepage": "https://github.com/slivingston/gr1py" }, "release_url": "https://pypi.org/project/gr1py/0.2.0/", "requires_dist": null, "requires_python": "", "summary": "enumerative (or concrete) reactive synthesis tool for the GR(1) fragment of LTL", "version": "0.2.0" }, "last_serial": 3213702, "releases": { "0.0.3": [], "0.0.4": [ { "comment_text": "", "digests": { "md5": "14eac62caf0c7a6a65f896402f9013e8", "sha256": "6aa7da1c96fed99cd9c911729b1362b2879ec36d31e9d7363738d49436764cc0" }, "downloads": -1, "filename": "gr1py-0.0.4.tar.gz", "has_sig": true, "md5_digest": "14eac62caf0c7a6a65f896402f9013e8", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 12542, "upload_time": "2015-10-12T23:26:08", "url": "https://files.pythonhosted.org/packages/c6/2b/22994111f49419ef90d36ad8a98fcf9801ce3ecefeedea6a0e9430541962/gr1py-0.0.4.tar.gz" } ], "0.1.0": [ { "comment_text": "", "digests": { "md5": "9731ed5d892823d4e873002ddce945bb", "sha256": "68dffdeabe00d38be2c7c8ed68d17a8eb6e6494606f426991cb4517e4b524ac7" }, "downloads": -1, "filename": "gr1py-0.1.0.tar.gz", "has_sig": true, "md5_digest": "9731ed5d892823d4e873002ddce945bb", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 16154, "upload_time": "2015-11-11T07:36:17", "url": "https://files.pythonhosted.org/packages/0d/a0/ebcce0bc8a1723e275189ccfe3fb9d37bbaaeea6e1dba67c2af3ddd31e9a/gr1py-0.1.0.tar.gz" } ], "0.2.0": [ { "comment_text": "", "digests": { "md5": "86b3b32dedab8c0f2c3a8da649ba438b", "sha256": "d4b9162ea7ce1b214517a73a1defc50d0bbfa6f8a9ad432f3524f8848bbb49d5" }, "downloads": -1, "filename": "gr1py-0.2.0.tar.gz", "has_sig": true, "md5_digest": "86b3b32dedab8c0f2c3a8da649ba438b", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 22671, "upload_time": "2017-09-29T20:12:31", "url": "https://files.pythonhosted.org/packages/2a/b2/c484b5c830a8136d3de9d61546a55d8ca18b768a11338ea5b43ed1a29361/gr1py-0.2.0.tar.gz" } ] }, "urls": [ { "comment_text": "", "digests": { "md5": "86b3b32dedab8c0f2c3a8da649ba438b", "sha256": "d4b9162ea7ce1b214517a73a1defc50d0bbfa6f8a9ad432f3524f8848bbb49d5" }, "downloads": -1, "filename": "gr1py-0.2.0.tar.gz", "has_sig": true, "md5_digest": "86b3b32dedab8c0f2c3a8da649ba438b", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 22671, "upload_time": "2017-09-29T20:12:31", "url": "https://files.pythonhosted.org/packages/2a/b2/c484b5c830a8136d3de9d61546a55d8ca18b768a11338ea5b43ed1a29361/gr1py-0.2.0.tar.gz" } ] }