{
    "info": {
        "author": "Stefan Klikovits",
        "author_email": "pytctl@klikovits.net",
        "bugtrack_url": null,
        "classifiers": [
            "License :: OSI Approved :: MIT License",
            "Operating System :: OS Independent",
            "Programming Language :: Python :: 3"
        ],
        "description": "# pyTCTL\nA package for TCTL model checking in Python\n\nThe initial implementation makes use of NetworkX's DiGraph for the representation of Kripke structures.\n\nThe provided algorithms implement [Lepri et al.'s](https://doi.org/10.1016/j.scico.2014.06.006) approach to continuous TCTL model checking. \nThus, this package also implements pointwise TCTL model checking.\n\nThe code was originally developed for the [CREST](https://crestdsl.github.io) project, but it seems better to extract the code into its own library.\n\n\n## Similar Projects\n\n[@albertocasagrande](https://github.com/albertocasagrande) is working on a similar library for (untimed) CTL/LTL/CTL* model checking called [pyModelChecking](https://github.com/albertocasagrande/pyModelChecking/).\n\n> His approach shares some of the ideas of this project. However, it seems that he chooses to implement Kripke structures directly (no networking library) and adds some features that I probably won't implement (e.g. a text parser).\nOn the other hand, as far as I can see there's only one algorithm hardcoded for each temporal logic.\nIn comparison, I plan to add the possibility to add and choose between search heuristics.\n\n> I will keep following his project. Maybe we can merge forces once I know more clearly which path the pyTCTL project is going to take.\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/stklik/pyTCTL",
        "keywords": "",
        "license": "",
        "maintainer": "",
        "maintainer_email": "",
        "name": "pyTCTL",
        "package_url": "https://pypi.org/project/pyTCTL/",
        "platform": "",
        "project_url": "https://pypi.org/project/pyTCTL/",
        "project_urls": {
            "Homepage": "https://github.com/stklik/pyTCTL"
        },
        "release_url": "https://pypi.org/project/pyTCTL/0.1/",
        "requires_dist": null,
        "requires_python": "",
        "summary": "A package for Timed CTL model checking in Python",
        "version": "0.1"
    },
    "last_serial": 5586174,
    "releases": {
        "0.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "418397bfd0c6b4e562dcfb93e36db816",
                    "sha256": "5c60d3042a7c78bdcafd5123922d43e8c33554d2781e03132536f6b755e48a8c"
                },
                "downloads": -1,
                "filename": "pyTCTL-0.1-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "418397bfd0c6b4e562dcfb93e36db816",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 2393,
                "upload_time": "2019-07-26T00:18:02",
                "url": "https://files.pythonhosted.org/packages/08/d0/5f41f055400508686453f795e57503d9b3c5afa48cd20a99507538e1750f/pyTCTL-0.1-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "40e6adb0a71ae66e240d7d9e85c1110c",
                    "sha256": "fecb200efee133a5b16559e8eba1159eb9d3f6e4ad35b7131cbd4520d6f39a90"
                },
                "downloads": -1,
                "filename": "pyTCTL-0.1.tar.gz",
                "has_sig": false,
                "md5_digest": "40e6adb0a71ae66e240d7d9e85c1110c",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 2079,
                "upload_time": "2019-07-26T00:18:04",
                "url": "https://files.pythonhosted.org/packages/ee/29/e3ac45e4b6830f768995159abdb8651e6a6571010f07662d35ce4a21253a/pyTCTL-0.1.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "418397bfd0c6b4e562dcfb93e36db816",
                "sha256": "5c60d3042a7c78bdcafd5123922d43e8c33554d2781e03132536f6b755e48a8c"
            },
            "downloads": -1,
            "filename": "pyTCTL-0.1-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "418397bfd0c6b4e562dcfb93e36db816",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": null,
            "size": 2393,
            "upload_time": "2019-07-26T00:18:02",
            "url": "https://files.pythonhosted.org/packages/08/d0/5f41f055400508686453f795e57503d9b3c5afa48cd20a99507538e1750f/pyTCTL-0.1-py3-none-any.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "40e6adb0a71ae66e240d7d9e85c1110c",
                "sha256": "fecb200efee133a5b16559e8eba1159eb9d3f6e4ad35b7131cbd4520d6f39a90"
            },
            "downloads": -1,
            "filename": "pyTCTL-0.1.tar.gz",
            "has_sig": false,
            "md5_digest": "40e6adb0a71ae66e240d7d9e85c1110c",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 2079,
            "upload_time": "2019-07-26T00:18:04",
            "url": "https://files.pythonhosted.org/packages/ee/29/e3ac45e4b6830f768995159abdb8651e6a6571010f07662d35ce4a21253a/pyTCTL-0.1.tar.gz"
        }
    ]
}