{
    "info": {
        "author": "Mohammed Alshiekh",
        "author_email": "sahabi@gmail.com",
        "bugtrack_url": null,
        "classifiers": [],
        "description": "## SYDAR: Synthesis Done Approximately Right\n\n### Installation and usage\n```\n$ pip install sydar\n$ sydar-matlab [input_file.miu] -o output.m\n```\n\n### References\n* I. Papusha, J. Fu, U. Topcu, and R. M. Murray. \"Automata Theory Meets Approximate Dynamic Programming: Optimal Control with Temporal Logic Constraints,\" *IEEE Conference on Decision and Control (CDC)*, pp. 434\u2013440, Las Vegas, NV, December 12\u201314, 2016. \n\\[[pdf](http://ivanpapusha.com/pdf/adpltl_cdc2016.pdf)\\] \n\\[[slides](http://ivanpapusha.com/pdf/adpltl_cdc2016_slides.pdf)\\] \n\\[[doi](http://dx.doi.org/10.1109/CDC.2016.7798307)\\]",
        "description_content_type": null,
        "docs_url": null,
        "download_url": "UNKNOWN",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "https://github.com/u-t-autonomous/sydar.git",
        "keywords": null,
        "license": "BSD",
        "maintainer": null,
        "maintainer_email": null,
        "name": "sydar",
        "package_url": "https://pypi.org/project/sydar/",
        "platform": "UNKNOWN",
        "project_url": "https://pypi.org/project/sydar/",
        "project_urls": {
            "Download": "UNKNOWN",
            "Homepage": "https://github.com/u-t-autonomous/sydar.git"
        },
        "release_url": "https://pypi.org/project/sydar/0.16.0/",
        "requires_dist": null,
        "requires_python": null,
        "summary": "Synthesis Done Approximately Right",
        "version": "0.16.0"
    },
    "last_serial": 2889545,
    "releases": {
        "0.13": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "00a70cc0a19bd72d49040493742b0be4",
                    "sha256": "d459b67f7ca4af1b16f417c1f7040ec9a193cb801f932a6b9d2dd8197bb8a624"
                },
                "downloads": -1,
                "filename": "sydar-0.13-py2-none-any.whl",
                "has_sig": false,
                "md5_digest": "00a70cc0a19bd72d49040493742b0be4",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 25104,
                "upload_time": "2017-04-04T20:26:55",
                "url": "https://files.pythonhosted.org/packages/c0/89/ef21c939008f4e987fc67aa40297e3ff0b6c04c397bc3f69b23831fc6a74/sydar-0.13-py2-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "dde8609aa693997c52c767e55739fd9f",
                    "sha256": "30ab772fae94e4ffc01980a27e13f66e1a3fea6036be30605603146183d16f1a"
                },
                "downloads": -1,
                "filename": "sydar-0.13.tar.gz",
                "has_sig": false,
                "md5_digest": "dde8609aa693997c52c767e55739fd9f",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 20666,
                "upload_time": "2017-04-04T20:26:56",
                "url": "https://files.pythonhosted.org/packages/26/49/9f8d67b73123d893e590087a3d58d8fb0b639d155018f673c3a506efb928/sydar-0.13.tar.gz"
            }
        ],
        "0.13.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "5f560e26b3df4a15b5e6c8a2f62524a1",
                    "sha256": "826ea6b027d97fd10c289a1124e5225f104aed7d3778fac7e5e8470b3cda56aa"
                },
                "downloads": -1,
                "filename": "sydar-0.13.1-py2-none-any.whl",
                "has_sig": false,
                "md5_digest": "5f560e26b3df4a15b5e6c8a2f62524a1",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 25218,
                "upload_time": "2017-04-04T20:49:10",
                "url": "https://files.pythonhosted.org/packages/73/37/0ea9ff0e276847e7dbda42f784d4c7c34430f71894e8aee120ec30b00f2f/sydar-0.13.1-py2-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "9ffdaae9105a915736e783e5128baacc",
                    "sha256": "58b4c62cb19466a89202b2aa1f542da7f427d4a3e3e9af85851aca8ff58dc894"
                },
                "downloads": -1,
                "filename": "sydar-0.13.1.tar.gz",
                "has_sig": false,
                "md5_digest": "9ffdaae9105a915736e783e5128baacc",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 20777,
                "upload_time": "2017-04-04T20:46:45",
                "url": "https://files.pythonhosted.org/packages/8c/d5/367eae7bba3e00ef862b147da67c7a8e117f64ef97690795e47899dc4e1b/sydar-0.13.1.tar.gz"
            }
        ],
        "0.13.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "fd33837ace56cf95bcfc8c87e562d9fe",
                    "sha256": "cce6ee9f66b4c5f02f8d850475ce01bc3370ba7f171c9908700b089cec061b7e"
                },
                "downloads": -1,
                "filename": "sydar-0.13.2-py2-none-any.whl",
                "has_sig": false,
                "md5_digest": "fd33837ace56cf95bcfc8c87e562d9fe",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 25217,
                "upload_time": "2017-04-04T20:50:22",
                "url": "https://files.pythonhosted.org/packages/62/d4/244a9ba3a60d5809bfe9310986b43f9c6a3d9384ebf87bb89ace4ffc4946/sydar-0.13.2-py2-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "f5e60b1bf61a83001180a21d3f81bd5d",
                    "sha256": "3e343eee2b212dfa254a634defd44ebc0f7cb9ebec1813daeceaa0b528d6bc95"
                },
                "downloads": -1,
                "filename": "sydar-0.13.2.tar.gz",
                "has_sig": false,
                "md5_digest": "f5e60b1bf61a83001180a21d3f81bd5d",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 20772,
                "upload_time": "2017-04-04T20:50:24",
                "url": "https://files.pythonhosted.org/packages/41/e0/f2f11572208be81adcb25fe3c9893b2e574e3bee23648b3ca31ae69c0736/sydar-0.13.2.tar.gz"
            }
        ],
        "0.14.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "f70893c1a459f51b36a6c15a51d184db",
                    "sha256": "083d5a56c3cebce3cec9add7697149a838a292bec69664c7f622091ce8df3a13"
                },
                "downloads": -1,
                "filename": "sydar-0.14.1-py2-none-any.whl",
                "has_sig": false,
                "md5_digest": "f70893c1a459f51b36a6c15a51d184db",
                "packagetype": "bdist_wheel",
                "python_version": "2.7",
                "requires_python": null,
                "size": 25720,
                "upload_time": "2017-04-16T22:57:35",
                "url": "https://files.pythonhosted.org/packages/81/71/f61a30248034acea648cdd35257db7b385898704f9995395dbf3c3c5a504/sydar-0.14.1-py2-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "74f972b65c6606596a5844cf377c9801",
                    "sha256": "ee962980996f1881ff4005c81cead3deacff23212ba07f4ef266b84bb6be6f9e"
                },
                "downloads": -1,
                "filename": "sydar-0.14.1.tar.gz",
                "has_sig": false,
                "md5_digest": "74f972b65c6606596a5844cf377c9801",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 21072,
                "upload_time": "2017-04-16T22:57:11",
                "url": "https://files.pythonhosted.org/packages/59/e1/66bcc92f24519423a545c54a20a41ba89bea30b72d11e5a5835e0259a2e5/sydar-0.14.1.tar.gz"
            }
        ],
        "0.14.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "2631a37ed04515395ba1f89ab946f810",
                    "sha256": "67dd04449e84551810c85368f47791c59656ea6ae6e5e3d227aa0d4bf93fb2b9"
                },
                "downloads": -1,
                "filename": "sydar-0.14.2-py2-none-any.whl",
                "has_sig": false,
                "md5_digest": "2631a37ed04515395ba1f89ab946f810",
                "packagetype": "bdist_wheel",
                "python_version": "2.7",
                "requires_python": null,
                "size": 25741,
                "upload_time": "2017-04-16T23:07:37",
                "url": "https://files.pythonhosted.org/packages/f7/34/fb5f53b1b8ccbf15a8411cd3ba2f65a57aff5bf672e7bbc240662b6174e8/sydar-0.14.2-py2-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "b6975eb8ccbf516d3518f6f80a46f8a5",
                    "sha256": "4dc56b6ccc6e58277390491d83d2e977e06e9f9554f9117261bf09f18c0741b4"
                },
                "downloads": -1,
                "filename": "sydar-0.14.2.tar.gz",
                "has_sig": false,
                "md5_digest": "b6975eb8ccbf516d3518f6f80a46f8a5",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 21085,
                "upload_time": "2017-04-16T23:07:45",
                "url": "https://files.pythonhosted.org/packages/cd/76/8bc4d9dd2216e358ecdc205fdcd06102093fab0089a8c6caf7104af8c017/sydar-0.14.2.tar.gz"
            }
        ],
        "0.14.3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "8bad7bb58dc9d453bf0b29ded94334d8",
                    "sha256": "447cf2ea0c37363540cc28e3950e2a24a9c1a9211cdfec081717287c48cef673"
                },
                "downloads": -1,
                "filename": "sydar-0.14.3-py2-none-any.whl",
                "has_sig": false,
                "md5_digest": "8bad7bb58dc9d453bf0b29ded94334d8",
                "packagetype": "bdist_wheel",
                "python_version": "2.7",
                "requires_python": null,
                "size": 25754,
                "upload_time": "2017-04-16T23:15:21",
                "url": "https://files.pythonhosted.org/packages/85/2a/6b5b71d72e66ee9063b5fd67d1f5ad9a4020fa19fde6d8ae3a2f81078f16/sydar-0.14.3-py2-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "191403dfdd7181ad69599c759ef459fe",
                    "sha256": "2ad523b02f88cb6889f191931c84acdcadad48ad772e05e62258f1facb458800"
                },
                "downloads": -1,
                "filename": "sydar-0.14.3.tar.gz",
                "has_sig": false,
                "md5_digest": "191403dfdd7181ad69599c759ef459fe",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 21180,
                "upload_time": "2017-04-16T23:14:44",
                "url": "https://files.pythonhosted.org/packages/79/49/ee9e3d60c74cb8730a7fc97e92545ee3177d64d2a766a2e22e523e8c233c/sydar-0.14.3.tar.gz"
            }
        ],
        "0.15.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "3eb41e96b5fc5cd8e18a4175e414abad",
                    "sha256": "8a8090541c3b957db2d05f67b2ff34915fbe8207bbcd613d20c010d7dbbd87da"
                },
                "downloads": -1,
                "filename": "sydar-0.15.1.tar.gz",
                "has_sig": false,
                "md5_digest": "3eb41e96b5fc5cd8e18a4175e414abad",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 22109,
                "upload_time": "2017-04-25T21:52:48",
                "url": "https://files.pythonhosted.org/packages/e0/25/f40ad9401feca3c0d7aea94b9f432e97bba1e8fab36546402f9911be9b91/sydar-0.15.1.tar.gz"
            }
        ],
        "0.15.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "9441f8097491b1c7b26829360233c6e2",
                    "sha256": "1b8133d12342dc02a6cd8dc48a98b03d64f2f8301dc51507397cde763c4dcac8"
                },
                "downloads": -1,
                "filename": "sydar-0.15.2.tar.gz",
                "has_sig": false,
                "md5_digest": "9441f8097491b1c7b26829360233c6e2",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 22131,
                "upload_time": "2017-04-25T21:55:58",
                "url": "https://files.pythonhosted.org/packages/0c/08/cf573e7374737ff16aa799727b63dd8fdbcb278d08e44e42c5a5651fb089/sydar-0.15.2.tar.gz"
            }
        ],
        "0.15.3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "e2fb9a49276c64d7840039595f847699",
                    "sha256": "0c20bae343447937c581704245daa0f7d33d6b37bff538482783bf99a6a197de"
                },
                "downloads": -1,
                "filename": "sydar-0.15.3.tar.gz",
                "has_sig": false,
                "md5_digest": "e2fb9a49276c64d7840039595f847699",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 22141,
                "upload_time": "2017-04-25T21:59:33",
                "url": "https://files.pythonhosted.org/packages/3b/9d/27fb5e24249ed8164540d102ff7e311266aa279a19d42da2ed4682e7c69f/sydar-0.15.3.tar.gz"
            }
        ],
        "0.15.4": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "25ce8c40094a66689dee041570d0bb42",
                    "sha256": "e1ee192c8d9b79845e395f514f1a2387bac121152cdd84738bb4722cf2fd4792"
                },
                "downloads": -1,
                "filename": "sydar-0.15.4.tar.gz",
                "has_sig": false,
                "md5_digest": "25ce8c40094a66689dee041570d0bb42",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 22144,
                "upload_time": "2017-04-25T23:12:08",
                "url": "https://files.pythonhosted.org/packages/64/0d/e2f08b5d2bc384e6e99388dc0a375936f448540f78fe3c8c085b9818a871/sydar-0.15.4.tar.gz"
            }
        ],
        "0.15.5": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "008454ead9a9664c39d4c289ebb2e234",
                    "sha256": "68e02ccd373148fde17262ade33816016aedc338ffd4d4ed4196cb20b9169e44"
                },
                "downloads": -1,
                "filename": "sydar-0.15.5.tar.gz",
                "has_sig": false,
                "md5_digest": "008454ead9a9664c39d4c289ebb2e234",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 22154,
                "upload_time": "2017-04-26T18:04:05",
                "url": "https://files.pythonhosted.org/packages/01/85/06cf5ed7e8a389cb73b2c56c5d64218da617ca9125241256ffb5415a0838/sydar-0.15.5.tar.gz"
            }
        ],
        "0.15.6": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "d5d1f33f63abd425e6af7efacc797ed7",
                    "sha256": "312046179e8729f8f907a4e81df85cc74bf459a0f301654025346dd989ee0403"
                },
                "downloads": -1,
                "filename": "sydar-0.15.6.tar.gz",
                "has_sig": false,
                "md5_digest": "d5d1f33f63abd425e6af7efacc797ed7",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 22138,
                "upload_time": "2017-04-26T19:04:08",
                "url": "https://files.pythonhosted.org/packages/19/01/1f0443de5452bb60d7701d2bbb792a9f1b1debe7a3857b3d821234b77e23/sydar-0.15.6.tar.gz"
            }
        ],
        "0.15.7": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "d3af8e5136bb36a13d91bf8fefc6e426",
                    "sha256": "e48a6df1a4d3ef5ee39a63416a1ed708a5e7d7683f0bd8bccf47e60c74f8e860"
                },
                "downloads": -1,
                "filename": "sydar-0.15.7.tar.gz",
                "has_sig": false,
                "md5_digest": "d3af8e5136bb36a13d91bf8fefc6e426",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 22071,
                "upload_time": "2017-05-03T01:52:25",
                "url": "https://files.pythonhosted.org/packages/a1/88/e5ba3348f0a02b5aedc5e9d1e73d6b2a60cb8722a248cca6e2ee2a1e9537/sydar-0.15.7.tar.gz"
            }
        ],
        "0.15.8": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "8e4a9815fc182749b89caca59db2b7fe",
                    "sha256": "e9f5d1616388ef8ad0b95fe8dbf8ba98f2dd34da32e2f1c28100ce4b6efb6b68"
                },
                "downloads": -1,
                "filename": "sydar-0.15.8.tar.gz",
                "has_sig": false,
                "md5_digest": "8e4a9815fc182749b89caca59db2b7fe",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 22074,
                "upload_time": "2017-05-03T01:53:57",
                "url": "https://files.pythonhosted.org/packages/40/53/7dd15618787e75053a9bc500ff85fee0f8d33972ca72bf9cdf3d1d338274/sydar-0.15.8.tar.gz"
            }
        ],
        "0.15.9": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "4dfafef099fd56e64f3dc91a82496464",
                    "sha256": "e1b78f1d3fd2ed556960c09cdeae316a8902c0fa6b6013701a33f0d68531bd85"
                },
                "downloads": -1,
                "filename": "sydar-0.15.9.tar.gz",
                "has_sig": false,
                "md5_digest": "4dfafef099fd56e64f3dc91a82496464",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 22126,
                "upload_time": "2017-05-03T02:27:45",
                "url": "https://files.pythonhosted.org/packages/1c/d4/9b2505a37b7a35e299322d974ea569208defae2dafc53befc1e97d2ae060/sydar-0.15.9.tar.gz"
            }
        ],
        "0.16.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "bced6b5b31a72fc7b0a5261284e588cd",
                    "sha256": "56b1a3bd949bf0f94ddac37517ca865152b2e45669d0661154da0a1c78d0f89b"
                },
                "downloads": -1,
                "filename": "sydar-0.16.0.tar.gz",
                "has_sig": false,
                "md5_digest": "bced6b5b31a72fc7b0a5261284e588cd",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 13414,
                "upload_time": "2017-05-21T23:42:34",
                "url": "https://files.pythonhosted.org/packages/32/99/84be49a720a17b1faca00471df11d228a2fdc3718ef5093e1bd3e675e374/sydar-0.16.0.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "bced6b5b31a72fc7b0a5261284e588cd",
                "sha256": "56b1a3bd949bf0f94ddac37517ca865152b2e45669d0661154da0a1c78d0f89b"
            },
            "downloads": -1,
            "filename": "sydar-0.16.0.tar.gz",
            "has_sig": false,
            "md5_digest": "bced6b5b31a72fc7b0a5261284e588cd",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 13414,
            "upload_time": "2017-05-21T23:42:34",
            "url": "https://files.pythonhosted.org/packages/32/99/84be49a720a17b1faca00471df11d228a2fdc3718ef5093e1bd3e675e374/sydar-0.16.0.tar.gz"
        }
    ]
}