{
    "info": {
        "author": "Miquel Ram\u00edrez and Guillem Franc\u00e8s",
        "author_email": "guillem.frances@unibas.ch",
        "bugtrack_url": null,
        "classifiers": [
            "Development Status :: 3 - Alpha",
            "Intended Audience :: Developers",
            "Intended Audience :: Science/Research",
            "License :: OSI Approved :: GNU General Public License v3 (GPLv3)",
            "Programming Language :: Python :: 3",
            "Programming Language :: Python :: 3.6",
            "Programming Language :: Python :: 3.7",
            "Topic :: Scientific/Engineering :: Artificial Intelligence"
        ],
        "description": "\n# Tarski - An AI Planning Modeling Framework \n[![Build Status](https://travis-ci.com/aig-upf/tarski.svg?branch=master)](https://travis-ci.com/aig-upf/tarski)\n[![codecov](https://codecov.io/gh/aig-upf/tarski/branch/master/graph/badge.svg)](https://codecov.io/gh/aig-upf/tarski)\n![PyPI - Python Version](https://img.shields.io/pypi/pyversions/tarski.svg?style=popout)\n![PyPI](https://img.shields.io/pypi/v/tarski.svg?style=popout)\n\n\n## What is Tarski\nTarski is a framework for the specification, modeling and manipulation of \n[AI planning](https://en.wikipedia.org/wiki/Automated_planning_and_scheduling) problems.\nTarski is written in Python and includes parsers for major modeling languages\n(e.g., [PDDL](https://en.wikipedia.org/wiki/Planning_Domain_Definition_Language),\n[FSTRIPS](https://dl.acm.org/citation.cfm?id=566359),\n[RDDL](https://en.wikipedia.org/wiki/Planning_Domain_Definition_Language#RDDL)), \nalong with modules to perform common tasks such as reachability analysis and grounding of first-order representations.\n\n\n## Installation\n\nYou can install the latest Tarski release with\n\n    pip install tarski\n\nIf instead you want to use the latest code available on the Github repository, use \n\n    pip install -U git+https://github.com/aig-upf/tarski.git\n\n\n## Development\nIf developing Tarski, we recommend cloning from the Github repository and doing a dev installation\n(the`-e` flag for `pip`) on a [virtual environment](https://docs.python.org/3/tutorial/venv.html):\n\n    git clone https://github.com/aig-upf/tarski\n    cd tarski\n    pip install -e .\n\nThis will install the project in \"editable mode\", meaning that any modification to the files\nis immediately reflected in the _installed_ library.\n\n\n## Testing \nAll of Tarski's tests live under the `tests` directory (shocking!).\nTo run them, you just need to run `pytest` (`pip install pytest`) on the root directory.\nYou can also run `tox` (`pip install tox`) to have some additional checks (e.g., style checks) run.\n\n\n\n## Software Requirements\nTarski requires Python >= 3.5.\nThe above installation instructions will install transparently for you a number of additional dependencies, among which\n`numpy`, `scipy` and `pyrddl`.\n\n\n## Known Limitations\nAt the moment, Tarski is able to parse problems specified in PDDL, Functional STRIPS and RDDL, \nbut (1) parsing of derived predicates is not supported yet, and (2)\nthe PDDL `either` keyword for defining compound types is not supported, and it is unlikely it will ever be.\nAdditionally, and for compatibility reasons with old standard benchmarks, the parser represents all predicate,\nfunction (including constants) and PDDL types (i.e. FOL sorts) _in lowercase_.  \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/aig-upf/tarski",
        "keywords": "planning logic STRIPS RDDL",
        "license": "",
        "maintainer": "",
        "maintainer_email": "",
        "name": "tarski",
        "package_url": "https://pypi.org/project/tarski/",
        "platform": "",
        "project_url": "https://pypi.org/project/tarski/",
        "project_urls": {
            "Homepage": "https://github.com/aig-upf/tarski"
        },
        "release_url": "https://pypi.org/project/tarski/0.3.0/",
        "requires_dist": [
            "antlr4-python3-runtime (>=4.7.2)",
            "numpy",
            "scipy",
            "pyrddl",
            "pytest ; extra == 'dev'",
            "tox ; extra == 'dev'",
            "pytest-cov ; extra == 'dev'",
            "mypy ; extra == 'dev'",
            "pytest ; extra == 'test'",
            "tox ; extra == 'test'",
            "pytest-cov ; extra == 'test'",
            "mypy ; extra == 'test'"
        ],
        "requires_python": "",
        "summary": "Tarski is a framework for the specification, modeling and manipulation of AI planning problems.",
        "version": "0.3.0"
    },
    "last_serial": 5627933,
    "releases": {
        "0.1.10": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "1143818966f69b0109584d1b875f0e59",
                    "sha256": "cf2817db0b52e9f5a7c454c5774b40984a0ff3b00fa5a2700b197a9260f0b233"
                },
                "downloads": -1,
                "filename": "tarski-0.1.10-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "1143818966f69b0109584d1b875f0e59",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 155616,
                "upload_time": "2019-07-12T15:09:38",
                "url": "https://files.pythonhosted.org/packages/8b/2c/f0b2caa7ee1dc953acbf37fb282a69bf1e61ada771a5d0da38a8e666a639/tarski-0.1.10-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "45f21644cb23a58449271e90120db7e7",
                    "sha256": "ebf3b5391db8ae132911ab188c3fdffb6048a3ac8c681f6fb22d4b3f5408b0dd"
                },
                "downloads": -1,
                "filename": "tarski-0.1.10.tar.gz",
                "has_sig": false,
                "md5_digest": "45f21644cb23a58449271e90120db7e7",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 122889,
                "upload_time": "2019-07-12T15:09:40",
                "url": "https://files.pythonhosted.org/packages/f0/c2/1f4a8f834943b3513a04c8ebcfbe5ef1ea9ebfae0195e2ed187894a832d3/tarski-0.1.10.tar.gz"
            }
        ],
        "0.1.9": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "71dc8ec6272acabcbb8c9878dd90b4cd",
                    "sha256": "81841c5790d56384bc18348a67f42fdd6f459d3504d396b02790d76974a388c6"
                },
                "downloads": -1,
                "filename": "tarski-0.1.9-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "71dc8ec6272acabcbb8c9878dd90b4cd",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 155540,
                "upload_time": "2019-07-12T14:40:55",
                "url": "https://files.pythonhosted.org/packages/86/e1/855050f3dab98764b3bff2069fcc22eedf7eb447e72380008f58d04b2ec6/tarski-0.1.9-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "9f299d42f08c1cb6191eb708dcfa318e",
                    "sha256": "6bd7029b4d4b0e7db8e18898642513904eddade0642070e0a462f036e0a029ae"
                },
                "downloads": -1,
                "filename": "tarski-0.1.9.tar.gz",
                "has_sig": false,
                "md5_digest": "9f299d42f08c1cb6191eb708dcfa318e",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 122737,
                "upload_time": "2019-07-12T14:41:00",
                "url": "https://files.pythonhosted.org/packages/4b/ad/f62b1c783005151e1b6e01e54c897fa9267c5dede93e1099927affffef62/tarski-0.1.9.tar.gz"
            }
        ],
        "0.2.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "6c9f9f75a462a5ff50d364cb13e62ee3",
                    "sha256": "ce45321c0780360c37d3adef0fe3b25b5be7178d7891715b678e0ffc1db911c8"
                },
                "downloads": -1,
                "filename": "tarski-0.2.0-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "6c9f9f75a462a5ff50d364cb13e62ee3",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 156258,
                "upload_time": "2019-07-17T13:27:00",
                "url": "https://files.pythonhosted.org/packages/50/62/147d5c574a1ee3b2e0aaf4830c0ad868be787013707b6a12a65503eb4906/tarski-0.2.0-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "b7b1dcdd8a32d22902864e9d2210abc7",
                    "sha256": "8b318b5871b206cd5aad966514cdb7320dfc076f1b3a43519bb5a95c2982e865"
                },
                "downloads": -1,
                "filename": "tarski-0.2.0.tar.gz",
                "has_sig": false,
                "md5_digest": "b7b1dcdd8a32d22902864e9d2210abc7",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 124236,
                "upload_time": "2019-07-17T13:27:02",
                "url": "https://files.pythonhosted.org/packages/c5/3c/8e85a185069f3229f3017df097392d4055c3bfd0d7e97dfa06a894a033d4/tarski-0.2.0.tar.gz"
            }
        ],
        "0.3.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "e7ce320c1e02378211e514b665807fa2",
                    "sha256": "7fe1bc3eb090e3b7f1fa024fbc774c0b61e140dead2a26c14ececfdb1cd3752c"
                },
                "downloads": -1,
                "filename": "tarski-0.3.0-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "e7ce320c1e02378211e514b665807fa2",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 160798,
                "upload_time": "2019-08-03T11:09:58",
                "url": "https://files.pythonhosted.org/packages/47/bf/852f68e0fd32e0d94f0c2b20e60dbc88ab6420d2f5b57367eb2636c69d1d/tarski-0.3.0-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "451e810561e730d6eb90484a520d31bd",
                    "sha256": "bf337f83073c812ec26ae789627c6d85325df5f39ee84d6c24a3440eab0da734"
                },
                "downloads": -1,
                "filename": "tarski-0.3.0.tar.gz",
                "has_sig": false,
                "md5_digest": "451e810561e730d6eb90484a520d31bd",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 127729,
                "upload_time": "2019-08-03T11:10:01",
                "url": "https://files.pythonhosted.org/packages/47/b1/c2e8282488f9f992a4ec8900c781a2cb59ef5f720e45ae62f709e9496a0f/tarski-0.3.0.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "e7ce320c1e02378211e514b665807fa2",
                "sha256": "7fe1bc3eb090e3b7f1fa024fbc774c0b61e140dead2a26c14ececfdb1cd3752c"
            },
            "downloads": -1,
            "filename": "tarski-0.3.0-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "e7ce320c1e02378211e514b665807fa2",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": null,
            "size": 160798,
            "upload_time": "2019-08-03T11:09:58",
            "url": "https://files.pythonhosted.org/packages/47/bf/852f68e0fd32e0d94f0c2b20e60dbc88ab6420d2f5b57367eb2636c69d1d/tarski-0.3.0-py3-none-any.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "451e810561e730d6eb90484a520d31bd",
                "sha256": "bf337f83073c812ec26ae789627c6d85325df5f39ee84d6c24a3440eab0da734"
            },
            "downloads": -1,
            "filename": "tarski-0.3.0.tar.gz",
            "has_sig": false,
            "md5_digest": "451e810561e730d6eb90484a520d31bd",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 127729,
            "upload_time": "2019-08-03T11:10:01",
            "url": "https://files.pythonhosted.org/packages/47/b1/c2e8282488f9f992a4ec8900c781a2cb59ef5f720e45ae62f709e9496a0f/tarski-0.3.0.tar.gz"
        }
    ]
}