{ "info": { "author": "Ioannis Filippidis", "author_email": "jfilippidis@gmail.com", "bugtrack_url": null, "classifiers": [], "description": "[![Build Status][build_img]][travis]\n[![Coverage Status][coverage]][coveralls]\n\n\nAbout\n=====\n\nA parser for the Temporal Logic of Actions (TLA+).\n[PLY](https://pypi.python.org/pypi/ply/3.4) (Python `lex`-`yacc`) is used to generate the parser.\nClasses for a TLA+ abstract tree are included and used for representing the result of parsing.\n\nTo install:\n\n```\npip install tla\n```\n\n\nLicense\n=======\n[BSD-3](http://opensource.org/licenses/BSD-3-Clause), see `LICENSE` file.\n\n\n[build_img]: https://travis-ci.org/johnyf/tla.svg?branch=master\n[travis]: https://travis-ci.org/johnyf/tla\n[coverage]: https://coveralls.io/repos/johnyf/tla/badge.svg?branch=master\n[coveralls]: https://coveralls.io/r/johnyf/tla?branch=master", "description_content_type": null, "docs_url": null, "download_url": null, "downloads": { "last_day": -1, "last_month": -1, "last_week": -1 }, "home_page": "https://github.com/johnyf/tla", "keywords": null, "license": "BSD", "maintainer": null, "maintainer_email": null, "name": "tla", "package_url": "https://pypi.org/project/tla/", "platform": "UNKNOWN", "project_url": "https://pypi.org/project/tla/", "project_urls": { "Homepage": "https://github.com/johnyf/tla" }, "release_url": "https://pypi.org/project/tla/0.0.0/", "requires_dist": null, "requires_python": null, "summary": "Parser and abstract syntax tree for the temporal logic of actions TLA+.", "version": "0.0.0" }, "last_serial": 2620570, "releases": { "0.0.0": [] }, "urls": [] }