{
"info": {
"author": "Francesco Fuggitti",
"author_email": "francesco.fuggitti@gmail.com",
"bugtrack_url": null,
"classifiers": [
"Development Status :: 1 - Planning",
"Intended Audience :: Education",
"License :: OSI Approved :: MIT License",
"Natural Language :: English",
"Operating System :: POSIX :: Linux",
"Programming Language :: Python :: 3",
"Programming Language :: Python :: 3.5",
"Programming Language :: Python :: 3.6"
],
"description": "# LTLf2DFA\n[]()\n\nLTLf2DFA is a simple tool that processes an LTLf formula (with all past or all future operators) and generates the corresponding minimized DFA (Deterministic Finite state Automaton) using [MONA](http://www.brics.dk/mona/).\nThis tool is written in Python 3.6.\n\nIt is tested on Linux Ubuntu 16.04 and on macOS 10.13.6.\n\nNow it is also available online at [ltlf2dfa.diag.uniroma1.it](http://ltlf2dfa.diag.uniroma1.it).\n\n## Getting Started\n\n### Requirements\n\nThis tool uses MONA for the generation of the DFA. Hence, you should first install MONA with all its dependencies on your OS following the instructions [here](http://www.brics.dk/mona/download.html).\n\nThis tool is also based on the following libraries:\n\n- [ply 3.11](https://pypi.org/project/ply/)\n- [dotpy 0.0.2](https://pypi.org/project/dotpy/)\n\nThey are automatically added while installing LTLf2DFA.\n\n## How To Install It\n\n- From PyPI:\n```\npip install ltlf2dfa\n```\n- From this repository:\n```\npip install git+https://github.com/Francesco17/LTLf2DFA@master#egg=ltlf2dfa\n```\n\n## How To Use It\n\n- Simply parse an LTLf formula with past or future operators:\n```python\nfrom ltlf2dfa.Parser import MyParser\n\nformula = \"G(a->Xb)\"\nparser = MyParser()\nparsed_formula = parser(formula)\n\nprint(parsed_formula)\n```\n- Translate an LTLf formula to the corresponding DFA automaton:\n```python\nfrom ltlf2dfa.Translator import Translator\nfrom ltlf2dfa.DotHandler import DotHandler\n\nformula = \"G(a->Xb)\"\ndeclare_flag = False #True if you want to compute DECLARE assumption for the formula\n\ntranslator = Translator(formula)\ntranslator.formula_parser()\ntranslator.translate()\ntranslator.createMonafile(declare_flag) #it creates automa.mona file\ntranslator.invoke_mona() #it returns an intermediate automa.dot file\n\ndotHandler = DotHandler()\ndotHandler.modify_dot()\ndotHandler.output_dot() #it returns the final automa.dot file\n```\n## Syntax\n\nThe syntax accepted by LTLf2DFA is the following:\n\n| OPERATOR | SYMBOL |\n|:-------------:|:------:|\n| TRUE | true |\n| FALSE | false |\n| AND | & |\n| OR | \\| |\n| NOT | ~ |\n| IMPLICATION | -> |\n| D-IMPLICATION | <-> |\n| NEXT | X |\n| UNTIL | U |\n| EVENTUALLY | F |\n| GLOBALLY | G |\n| WEAK NEXT | W |\n| RELEASE | R |\n| YESTERDAY (*) | Y |\n| SINCE (*) | S |\n| ONCE (*) | O |\n| GLOBALLY (*) | H |\n\n(*) are PAST operators.\n\nAlso parentheses `(` and `)` can be used.\n\n**NOTE**: LTLf2DFA accepts ONLY separated formulas, i.e. formulas that have only past, only future or none operators.\n\n## Author\n\n[Francesco Fuggitti](https://www.linkedin.com/in/francesco-fuggitti-b78336131/)\n\n## License\n\nThis project is licensed under the MIT License - see the [LICENSE](https://github.com/Francesco17/LTLf2FOL/blob/master/LICENSE) file for details\n\n## Contacts\n\nIf, for any reason, you are interested in feel free to contact me by email.\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/Francesco17/LTLf2DFA",
"keywords": "ltlf2dfa",
"license": "MIT license",
"maintainer": "",
"maintainer_email": "",
"name": "ltlf2dfa",
"package_url": "https://pypi.org/project/ltlf2dfa/",
"platform": "",
"project_url": "https://pypi.org/project/ltlf2dfa/",
"project_urls": {
"Homepage": "https://github.com/Francesco17/LTLf2DFA"
},
"release_url": "https://pypi.org/project/ltlf2dfa/0.2.2.post0/",
"requires_dist": [
"ply",
"dotpy"
],
"requires_python": "",
"summary": "A tool for generating a DFA from an LTLf formula",
"version": "0.2.2.post0"
},
"last_serial": 4309625,
"releases": {
"0.1.2": [
{
"comment_text": "",
"digests": {
"md5": "50fe68bd4aea50e76df34bab032d0a60",
"sha256": "f25fedf7ac2cbe63062e84f08ebf68f912a772a769a783b4f9b008945e975657"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.2-py3-none-any.whl",
"has_sig": false,
"md5_digest": "50fe68bd4aea50e76df34bab032d0a60",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 8200,
"upload_time": "2018-07-19T09:58:09",
"url": "https://files.pythonhosted.org/packages/f1/5e/a4d0209962c909e87968c7e0892f6fbd602d145ae701391d9e072a4fa344/ltlf2dfa-0.1.2-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "6279f2f5350e15ece275180892536ed2",
"sha256": "28c41f619b403680d589271a1849e35c93d0fe0cfe3730a08efb387b10e883a6"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.2.tar.gz",
"has_sig": false,
"md5_digest": "6279f2f5350e15ece275180892536ed2",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 7622,
"upload_time": "2018-07-19T09:58:10",
"url": "https://files.pythonhosted.org/packages/58/f2/f3831dc17771c39052495e418572fe8d3e32682c91bebb8e55a199c51a1f/ltlf2dfa-0.1.2.tar.gz"
}
],
"0.1.2.post0": [
{
"comment_text": "",
"digests": {
"md5": "5824c0444ed7d9b643785a87f5e814e8",
"sha256": "3a9683e71ee8919e990b042da5d63821d557a0230ba6e5ed6bb7f5b104df5a42"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.2.post0-py3-none-any.whl",
"has_sig": false,
"md5_digest": "5824c0444ed7d9b643785a87f5e814e8",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 8271,
"upload_time": "2018-07-19T10:20:15",
"url": "https://files.pythonhosted.org/packages/45/03/149ad1f28d82111e60f5605aa9850234a319ed142b9bd439d100350db311/ltlf2dfa-0.1.2.post0-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "796d2d638c3bd5983c8e86214eef0e3a",
"sha256": "8d8772690639055c0c71b279f442a5aafaf2beb3cc6f86d4bdfafa01a62c0e2d"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.2.post0.tar.gz",
"has_sig": false,
"md5_digest": "796d2d638c3bd5983c8e86214eef0e3a",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 7639,
"upload_time": "2018-07-19T10:20:17",
"url": "https://files.pythonhosted.org/packages/b6/ca/1389ad85ea08446bc2f6261f6fe827897eb8b12f566c582bca609f43a687/ltlf2dfa-0.1.2.post0.tar.gz"
}
],
"0.1.2.post1": [
{
"comment_text": "",
"digests": {
"md5": "861d1eea439bea0f8640d39bd933232b",
"sha256": "f33eec43f571ce5854bc74ad6544ebd035ea56ed5b5fb33556a7c52a7a2aa0b0"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.2.post1-py3-none-any.whl",
"has_sig": false,
"md5_digest": "861d1eea439bea0f8640d39bd933232b",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 8685,
"upload_time": "2018-07-19T18:51:02",
"url": "https://files.pythonhosted.org/packages/38/6e/265fe8676fe7e0355d07e60dd039a386b9727ec21be68cd563652061432e/ltlf2dfa-0.1.2.post1-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "27ab9da26048994a0dd6ec9db646345d",
"sha256": "2b45e02e09ab5d04d775376ca0b2b8a596b1c89b52c19d4fe5abb54f5b57e0a7"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.2.post1.tar.gz",
"has_sig": false,
"md5_digest": "27ab9da26048994a0dd6ec9db646345d",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 8039,
"upload_time": "2018-07-19T18:51:03",
"url": "https://files.pythonhosted.org/packages/91/c9/4fce083c7c7867a166210e7c1f09b7460a2cd18b69b389e9aae48b983eca/ltlf2dfa-0.1.2.post1.tar.gz"
}
],
"0.1.2.post2": [
{
"comment_text": "",
"digests": {
"md5": "9a68b0580c6996cf91f5275e24a800a4",
"sha256": "58f2f4117ef96ded087e75c5bb82642660667789228e10e6f990ecdb0594ef85"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.2.post2-py3-none-any.whl",
"has_sig": false,
"md5_digest": "9a68b0580c6996cf91f5275e24a800a4",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173134,
"upload_time": "2018-07-19T19:15:29",
"url": "https://files.pythonhosted.org/packages/7f/54/01e565bc2ddf0749f306dc6bfcfc33e82494fbc93b09151147dfb3953050/ltlf2dfa-0.1.2.post2-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "8d7fffab638c66f6bc01adb3b14b1452",
"sha256": "6aefb3ee93e0973068dd87d69f33e89283b880a9e0823d60a7382be9294255c2"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.2.post2.tar.gz",
"has_sig": false,
"md5_digest": "8d7fffab638c66f6bc01adb3b14b1452",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 173834,
"upload_time": "2018-07-19T19:15:30",
"url": "https://files.pythonhosted.org/packages/b9/a2/8a508cb5a752ef9b4c61c58a9ecca02dc511c5727154e2696783282eac4e/ltlf2dfa-0.1.2.post2.tar.gz"
}
],
"0.1.3": [
{
"comment_text": "",
"digests": {
"md5": "8e01853555677ef16f062e359541ab19",
"sha256": "b97f6d5887921866249aa28da3203325891f73e5da3e085046f3ff59c8f288d2"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.3-py3-none-any.whl",
"has_sig": false,
"md5_digest": "8e01853555677ef16f062e359541ab19",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173081,
"upload_time": "2018-07-22T14:28:25",
"url": "https://files.pythonhosted.org/packages/33/5e/a40eff8734d51dc30fd4e9a84bb9509ad1a47d6b3bb3f2028312cb95532c/ltlf2dfa-0.1.3-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "fc23681257ac7d28f722cce0ba0ae828",
"sha256": "76d73a589cfc3117cddf8ad2fd4c0b7ba4d47bf4f1972fcc17a37e129111f44c"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.3.tar.gz",
"has_sig": false,
"md5_digest": "fc23681257ac7d28f722cce0ba0ae828",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 173825,
"upload_time": "2018-07-22T14:28:27",
"url": "https://files.pythonhosted.org/packages/d4/96/5d1d57df17e6538bd1f5a633ca2e75cbbd5f69aebc2c16763b9becf42e7e/ltlf2dfa-0.1.3.tar.gz"
}
],
"0.1.4": [
{
"comment_text": "",
"digests": {
"md5": "340671bfa46aa1934d550ee32e560170",
"sha256": "67c091bc5fec9875e7630591c8a07989647edaa4c5c0436deb59982964efe27f"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.4-py3-none-any.whl",
"has_sig": false,
"md5_digest": "340671bfa46aa1934d550ee32e560170",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173133,
"upload_time": "2018-07-23T07:36:16",
"url": "https://files.pythonhosted.org/packages/c1/ca/116e7cc12ae5d0d316c000f28c791335f8e2aa90d4a6bf4e541095961807/ltlf2dfa-0.1.4-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "12f70979556858c8780cb51926aab6f3",
"sha256": "1e1b66653c898eb78c2b3b4f999c75b078f02c4807155cb08e38b9adb888902a"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.4.tar.gz",
"has_sig": false,
"md5_digest": "12f70979556858c8780cb51926aab6f3",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 173873,
"upload_time": "2018-07-23T07:36:18",
"url": "https://files.pythonhosted.org/packages/78/73/9e119bb2869c9b2a04e270135a0c79419174759420bb242dbd0fdc667fd3/ltlf2dfa-0.1.4.tar.gz"
}
],
"0.1.5": [
{
"comment_text": "",
"digests": {
"md5": "a341644c281fa0cabf01caa7f5f2f3a6",
"sha256": "e6e42bcd04af53d2515513b4a3233dfe81a653962547184d9f1ddfb916f0c37d"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.5-py3-none-any.whl",
"has_sig": false,
"md5_digest": "a341644c281fa0cabf01caa7f5f2f3a6",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173158,
"upload_time": "2018-07-26T13:30:21",
"url": "https://files.pythonhosted.org/packages/40/0f/b7d635143a734a46fe669a7d0d2b1be040761834101bc0ed68dac5b99c86/ltlf2dfa-0.1.5-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "b8cc11510d3e647900e7c5cb520cf6ab",
"sha256": "0fade1a0a679fd8bc02bc1416fa49fa597ccb79c31f31ed46876bf2122e439c0"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.5.tar.gz",
"has_sig": false,
"md5_digest": "b8cc11510d3e647900e7c5cb520cf6ab",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 173758,
"upload_time": "2018-07-26T13:30:23",
"url": "https://files.pythonhosted.org/packages/14/f9/b60c5ee7b3e628c81d01a048bf81dc38b3b6001ff0b78522cff7ebd7e298/ltlf2dfa-0.1.5.tar.gz"
}
],
"0.1.6": [
{
"comment_text": "",
"digests": {
"md5": "e8eb25b3dbb774dc1282c313229e3726",
"sha256": "87d65702cfa32e9815b1b67e887efb5b439ec85c4303164bd9ba007362a56124"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.6-py3-none-any.whl",
"has_sig": false,
"md5_digest": "e8eb25b3dbb774dc1282c313229e3726",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173223,
"upload_time": "2018-07-31T10:09:55",
"url": "https://files.pythonhosted.org/packages/36/73/8561eee4f4049c90c09d9509b625d7896f3f5db8f161504775c72fd3502a/ltlf2dfa-0.1.6-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "6d49e0c1b9fb83c17e4037622953d500",
"sha256": "50b3e35848b3ea2bced6067548f0fef383b691585613a2e1c978b37fc0c12ead"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.6.tar.gz",
"has_sig": false,
"md5_digest": "6d49e0c1b9fb83c17e4037622953d500",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 173920,
"upload_time": "2018-07-31T10:09:57",
"url": "https://files.pythonhosted.org/packages/88/62/834fb60b073411e0f9c34907a498a42e1a2621a0b2aeb71a18eb6a55d6df/ltlf2dfa-0.1.6.tar.gz"
}
],
"0.1.7": [
{
"comment_text": "",
"digests": {
"md5": "c15801a8e8dca08458829cde492d191b",
"sha256": "6dd372ca27be55ec13b37e9bdcf46593e6c554d8d190ee9b45dd4ea16ebac567"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.7-py3-none-any.whl",
"has_sig": false,
"md5_digest": "c15801a8e8dca08458829cde492d191b",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173218,
"upload_time": "2018-08-01T08:03:33",
"url": "https://files.pythonhosted.org/packages/45/8f/05a73b2f45c8e385f945d7e081c021c7b366afbc696b550cce7ce4f6b856/ltlf2dfa-0.1.7-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "71d75683f25e8d6e2bb115f5d591caa4",
"sha256": "2a30717b12d03bbc568599f5e9c5b01b23517504bf7f88ea4fd1aa6303411214"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.7.tar.gz",
"has_sig": false,
"md5_digest": "71d75683f25e8d6e2bb115f5d591caa4",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 173915,
"upload_time": "2018-08-01T08:03:35",
"url": "https://files.pythonhosted.org/packages/8a/e7/7f0a16c24134375aa3c34deb554838619f7a629ec9dc8d7a21ff59c5a9ec/ltlf2dfa-0.1.7.tar.gz"
}
],
"0.1.8": [
{
"comment_text": "",
"digests": {
"md5": "62017d7b5888fa1859dab67d6aeec9ab",
"sha256": "573a3e4f55c1314c5d3a7f3f646aa96a89ffd2062641d583af678b8fa9e15fab"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.8-py3-none-any.whl",
"has_sig": false,
"md5_digest": "62017d7b5888fa1859dab67d6aeec9ab",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173217,
"upload_time": "2018-08-01T09:41:50",
"url": "https://files.pythonhosted.org/packages/9b/ee/b87a3a8068081f8764c1c0c1a8f4950361cebb8ba45ec94ad1ebe259f1a1/ltlf2dfa-0.1.8-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "fecbf5738fb3b9dbc207fab35fa5255a",
"sha256": "97b4a4213968696c5be564ae799b2ffe193c57e44f9b0bf85aa6b6d401a4b9b9"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.8.tar.gz",
"has_sig": false,
"md5_digest": "fecbf5738fb3b9dbc207fab35fa5255a",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 173916,
"upload_time": "2018-08-01T09:41:52",
"url": "https://files.pythonhosted.org/packages/2b/ab/66d9acfb3f6019746409662072af98f9e3d24fdd8130d12d9e2f9a6086df/ltlf2dfa-0.1.8.tar.gz"
}
],
"0.1.9": [
{
"comment_text": "",
"digests": {
"md5": "af9b692c899dc8c9d707c5238d6b2e5d",
"sha256": "a0ac88be253af9bb0c7e05cd8165deea01a006c9d4162f1cd958f69db3cc418d"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.9-py3-none-any.whl",
"has_sig": false,
"md5_digest": "af9b692c899dc8c9d707c5238d6b2e5d",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173238,
"upload_time": "2018-08-06T16:28:57",
"url": "https://files.pythonhosted.org/packages/5a/2c/6895a9aef7d9688a4fa75f4af3dcc92554b073ec84ea7798aefead4fe597/ltlf2dfa-0.1.9-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "4d25dbff79f5d1e25937c5892a6f75ed",
"sha256": "b4246981fedda7c6f9a74e2634e73ea8abe14f76f89c47b1f594711208d1292c"
},
"downloads": -1,
"filename": "ltlf2dfa-0.1.9.tar.gz",
"has_sig": false,
"md5_digest": "4d25dbff79f5d1e25937c5892a6f75ed",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 173935,
"upload_time": "2018-08-06T16:29:02",
"url": "https://files.pythonhosted.org/packages/2f/78/de71bed80a1e69b06abc371a685a5dec81672b79424fa6c74bfedf163b31/ltlf2dfa-0.1.9.tar.gz"
}
],
"0.2.0": [
{
"comment_text": "",
"digests": {
"md5": "6149c92d9b76fe71a9d3253befeb8c44",
"sha256": "631abafc61033b3edec9284f62ba05d954d32f35662e64cf9729c5a82912c52d"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.0-py3-none-any.whl",
"has_sig": false,
"md5_digest": "6149c92d9b76fe71a9d3253befeb8c44",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173202,
"upload_time": "2018-08-14T17:12:22",
"url": "https://files.pythonhosted.org/packages/f6/a3/2f19a8a06d8276968d714004920ce92d60e9b0b59a5277c3ede6de898388/ltlf2dfa-0.2.0-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "1c357aaf12e3233cca8cf093c29b45ea",
"sha256": "a9a271fbeb7825b69b8512605ff3ee962ae589ddfaec03111e32500da20bf960"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.0.tar.gz",
"has_sig": false,
"md5_digest": "1c357aaf12e3233cca8cf093c29b45ea",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 173795,
"upload_time": "2018-08-14T17:12:26",
"url": "https://files.pythonhosted.org/packages/61/9d/8f2e8970f288d6e7ba442530a5c3c192c344a65b6281f6cafb96501c8ca3/ltlf2dfa-0.2.0.tar.gz"
}
],
"0.2.0.post0": [
{
"comment_text": "",
"digests": {
"md5": "4de16d230535f9d89425856611fb7a89",
"sha256": "a0987779a6d2c66d541011d3798c4251cb7fe7d8ef5f816227aa765accdc0641"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.0.post0-py3-none-any.whl",
"has_sig": false,
"md5_digest": "4de16d230535f9d89425856611fb7a89",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173257,
"upload_time": "2018-08-15T10:23:14",
"url": "https://files.pythonhosted.org/packages/8d/36/b3276ef480c0adece0b821a1a8552c909eba39da09f6a60a6afda99a1bb3/ltlf2dfa-0.2.0.post0-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "f7dab5c7139d76adf961d303a1476f85",
"sha256": "f738141bedf4dcf05b9b82ff5cb4640cde3bf1fce8a98f8893a2af084ec816ef"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.0.post0.tar.gz",
"has_sig": false,
"md5_digest": "f7dab5c7139d76adf961d303a1476f85",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 173796,
"upload_time": "2018-08-15T10:23:20",
"url": "https://files.pythonhosted.org/packages/55/3c/0eac8bff0b7ebb00517fc780285838b8a02be588a83f52c454814e512c92/ltlf2dfa-0.2.0.post0.tar.gz"
}
],
"0.2.0.post1": [
{
"comment_text": "",
"digests": {
"md5": "7c867741bca8cb4886e524c982be9a8c",
"sha256": "cbb15a7372d15cb36751216ec8b2f1552f53dec99ccc5b7778d0652a00e190ff"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.0.post1-py3-none-any.whl",
"has_sig": false,
"md5_digest": "7c867741bca8cb4886e524c982be9a8c",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173276,
"upload_time": "2018-08-19T17:37:52",
"url": "https://files.pythonhosted.org/packages/bf/70/72230ddef95d1fba46e5c184ee22c07b4c8e403c87ce3ed8d919a6266b20/ltlf2dfa-0.2.0.post1-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "9187255d0afa1cfdeee6d24b980d1e01",
"sha256": "9a2fb19169a618fade7fad28ce0b93fd72cd5c92925c4a0cfaa233632494fbbc"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.0.post1.tar.gz",
"has_sig": false,
"md5_digest": "9187255d0afa1cfdeee6d24b980d1e01",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 173813,
"upload_time": "2018-08-19T17:38:34",
"url": "https://files.pythonhosted.org/packages/a3/08/18ee58c2efdf3bec41bb2e8ba9ff294afb7e936cdf3a14aa1ac461a09c54/ltlf2dfa-0.2.0.post1.tar.gz"
}
],
"0.2.0.post2": [
{
"comment_text": "",
"digests": {
"md5": "b8d7055ae251db55b9af46c640b9e2d0",
"sha256": "8bcd002d236edba6a4633d8fd4798890b99db3bc73af136798963035b836f6d6"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.0.post2-py3-none-any.whl",
"has_sig": false,
"md5_digest": "b8d7055ae251db55b9af46c640b9e2d0",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173299,
"upload_time": "2018-08-30T18:19:54",
"url": "https://files.pythonhosted.org/packages/9b/40/36133aadaf260ee6c52fbc09509ff08ee915de89a2d5df716105b3fbfec8/ltlf2dfa-0.2.0.post2-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "316c0a40787d09ecec8c403ee2a1d728",
"sha256": "1d96944887748c23ced7255f44b6c4181ac3b88cd9c1a970d1743af1aa48c962"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.0.post2.tar.gz",
"has_sig": false,
"md5_digest": "316c0a40787d09ecec8c403ee2a1d728",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 173846,
"upload_time": "2018-08-30T18:19:55",
"url": "https://files.pythonhosted.org/packages/34/37/d69bb9f46bdd54fb4feaada9ea605964cb09ff8a1e31ee34a37c3a3941f9/ltlf2dfa-0.2.0.post2.tar.gz"
}
],
"0.2.0.post3": [
{
"comment_text": "",
"digests": {
"md5": "f1bf6dc821f14f9bb0907e613f459e6f",
"sha256": "a8fdc3ab3e64fad54fd6b7d36dda3936308dc1750c2862a0936d6bda85247713"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.0.post3-py3-none-any.whl",
"has_sig": false,
"md5_digest": "f1bf6dc821f14f9bb0907e613f459e6f",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173349,
"upload_time": "2018-09-03T18:18:38",
"url": "https://files.pythonhosted.org/packages/a5/5d/675231d4fd81dcffc91f627e37e217506797623b4d20b225ca0204e0a058/ltlf2dfa-0.2.0.post3-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "a982eb4eeb18b86dbb9c1c771486281d",
"sha256": "eaf43251289532c23c0f7483ecc6515decbce11988e2c95b205fe0fbc6aa5bb8"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.0.post3.tar.gz",
"has_sig": false,
"md5_digest": "a982eb4eeb18b86dbb9c1c771486281d",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 173956,
"upload_time": "2018-09-03T18:18:39",
"url": "https://files.pythonhosted.org/packages/5b/27/71d736b58b0c0449c171bddf1f98acbee2a71834d60ed894fb14034bf3fd/ltlf2dfa-0.2.0.post3.tar.gz"
}
],
"0.2.1": [
{
"comment_text": "",
"digests": {
"md5": "f56ba64bc9a96e794c92fad4f817f44b",
"sha256": "051f3e2664d77463625f2ee80652ce403febe027b086c8636b05e145616cf64c"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.1-py3-none-any.whl",
"has_sig": false,
"md5_digest": "f56ba64bc9a96e794c92fad4f817f44b",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173383,
"upload_time": "2018-09-05T14:14:03",
"url": "https://files.pythonhosted.org/packages/d5/8d/7829eaa330eaa7b0baf642579447c93a981b50f6851c843420c63b4901a4/ltlf2dfa-0.2.1-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "4c27371783af229ffba040101290862c",
"sha256": "4b601cb1bb3538111bd7d73c59337359f3aeea6a52e3f28ef10eafe45e729e68"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.1.tar.gz",
"has_sig": false,
"md5_digest": "4c27371783af229ffba040101290862c",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 174031,
"upload_time": "2018-09-05T14:14:04",
"url": "https://files.pythonhosted.org/packages/34/60/8246fb40802d7013c863e910774164153094dd3fd799def59e0d2ec09262/ltlf2dfa-0.2.1.tar.gz"
}
],
"0.2.1.post0": [
{
"comment_text": "",
"digests": {
"md5": "14ae571d9eb60506219809cc065ec9c2",
"sha256": "bdaf5f4884bdbc99e226dee716611510f220661ad51539e93339b0396fb0c556"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.1.post0-py3-none-any.whl",
"has_sig": false,
"md5_digest": "14ae571d9eb60506219809cc065ec9c2",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173449,
"upload_time": "2018-09-05T14:24:12",
"url": "https://files.pythonhosted.org/packages/d3/f9/870e536b7bcf6572437c6ed2814982cc03fd79cacfabba3f11736880a2d7/ltlf2dfa-0.2.1.post0-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "bb3bb076a8c5a672302d1a23069b5a51",
"sha256": "dffb62717698b2adf70e79d1c51939881c1fa5fd74ba99e55c06111c2b3d776b"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.1.post0.tar.gz",
"has_sig": false,
"md5_digest": "bb3bb076a8c5a672302d1a23069b5a51",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 174073,
"upload_time": "2018-09-05T14:24:13",
"url": "https://files.pythonhosted.org/packages/22/bb/201f1ee33275d736e81b12f8e9dd2eec386d7b78dcd76d0858b93a6523d6/ltlf2dfa-0.2.1.post0.tar.gz"
}
],
"0.2.1.post1": [
{
"comment_text": "",
"digests": {
"md5": "87ba5fd3f5ac837415908ef3a726ac5e",
"sha256": "faae093ec386592254a712d14823eafcb75de835a366b3a55a7ef446c5357974"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.1.post1-py3-none-any.whl",
"has_sig": false,
"md5_digest": "87ba5fd3f5ac837415908ef3a726ac5e",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173450,
"upload_time": "2018-09-05T15:30:40",
"url": "https://files.pythonhosted.org/packages/12/06/d981d079a5cb8c9d54c0ee79f534b90bfea31eab42bd4275cf1a492a2873/ltlf2dfa-0.2.1.post1-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "8a4b61efedc85ddbf94489b23d647de9",
"sha256": "267a12ec716a4a130777773434aaa0969a6e5a555c78aa8142ca3d0f81e66150"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.1.post1.tar.gz",
"has_sig": false,
"md5_digest": "8a4b61efedc85ddbf94489b23d647de9",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 174072,
"upload_time": "2018-09-05T15:30:42",
"url": "https://files.pythonhosted.org/packages/9d/82/d8370c444788fa759bc2ea36d7e62a02e6e4b2cdfe0503ee762e369847eb/ltlf2dfa-0.2.1.post1.tar.gz"
}
],
"0.2.2": [
{
"comment_text": "",
"digests": {
"md5": "7e2c41bda73d64212670460a7c7871bf",
"sha256": "52356f6d5719b33fa2f5360b0e66edb6260a77774d6f7c34d1c452935364d9d4"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.2-py3-none-any.whl",
"has_sig": false,
"md5_digest": "7e2c41bda73d64212670460a7c7871bf",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173458,
"upload_time": "2018-09-24T17:00:59",
"url": "https://files.pythonhosted.org/packages/ce/5d/957cfb4836f8371d5dc7b6d7ab3b3a87e7ccb34734a6ed545502c5f34f69/ltlf2dfa-0.2.2-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "c92922f87b09dfb2256cae169854950f",
"sha256": "8dcdb768e9dce429f3e732caf4779765fd401a18c05e7625ee23c8b39ca1b998"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.2.tar.gz",
"has_sig": false,
"md5_digest": "c92922f87b09dfb2256cae169854950f",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 174210,
"upload_time": "2018-09-24T17:01:01",
"url": "https://files.pythonhosted.org/packages/0a/af/66325158805c30d1c3d2a2c0e65fa5a63ca81d8b0571f96af6433a2d1782/ltlf2dfa-0.2.2.tar.gz"
}
],
"0.2.2.post0": [
{
"comment_text": "",
"digests": {
"md5": "994881885c06638adb80b84893c9c9ca",
"sha256": "6f3bfed43e127d540f5c2a61f0b4cd9fd409fb4783243a3e0cea297b53ca5879"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.2.post0-py3-none-any.whl",
"has_sig": false,
"md5_digest": "994881885c06638adb80b84893c9c9ca",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173580,
"upload_time": "2018-09-25T18:48:56",
"url": "https://files.pythonhosted.org/packages/de/a2/db7bfce47624d8ea4ef53399651fff1a2ef1d53e48f06f06662bbb19ff12/ltlf2dfa-0.2.2.post0-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "55cf1507fb869f37151e7391c0743c17",
"sha256": "c8e88a366eb5a04329efb2d09e01687132301c6f633d27255693e414d25d5e52"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.2.post0.tar.gz",
"has_sig": false,
"md5_digest": "55cf1507fb869f37151e7391c0743c17",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 174271,
"upload_time": "2018-09-25T18:48:58",
"url": "https://files.pythonhosted.org/packages/3b/c5/366ed58c27949fbe5e501a785be333ce566738a94c4b8210fdc41a6a3d8b/ltlf2dfa-0.2.2.post0.tar.gz"
}
]
},
"urls": [
{
"comment_text": "",
"digests": {
"md5": "994881885c06638adb80b84893c9c9ca",
"sha256": "6f3bfed43e127d540f5c2a61f0b4cd9fd409fb4783243a3e0cea297b53ca5879"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.2.post0-py3-none-any.whl",
"has_sig": false,
"md5_digest": "994881885c06638adb80b84893c9c9ca",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 173580,
"upload_time": "2018-09-25T18:48:56",
"url": "https://files.pythonhosted.org/packages/de/a2/db7bfce47624d8ea4ef53399651fff1a2ef1d53e48f06f06662bbb19ff12/ltlf2dfa-0.2.2.post0-py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "55cf1507fb869f37151e7391c0743c17",
"sha256": "c8e88a366eb5a04329efb2d09e01687132301c6f633d27255693e414d25d5e52"
},
"downloads": -1,
"filename": "ltlf2dfa-0.2.2.post0.tar.gz",
"has_sig": false,
"md5_digest": "55cf1507fb869f37151e7391c0743c17",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 174271,
"upload_time": "2018-09-25T18:48:58",
"url": "https://files.pythonhosted.org/packages/3b/c5/366ed58c27949fbe5e501a785be333ce566738a94c4b8210fdc41a6a3d8b/ltlf2dfa-0.2.2.post0.tar.gz"
}
]
}