{
    "info": {
        "author": "Samuel Kolb",
        "author_email": "samuel.kolb@me.com",
        "bugtrack_url": null,
        "classifiers": [
            "License :: OSI Approved :: MIT License",
            "Programming Language :: Python",
            "Programming Language :: Python :: 3"
        ],
        "description": "# INCAL\nINCAL is an incremental SMT constraint learner\n\nDocumentation coming soon...\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/smtlearning/incal",
        "keywords": "",
        "license": "MIT",
        "maintainer": "",
        "maintainer_email": "",
        "name": "incal",
        "package_url": "https://pypi.org/project/incal/",
        "platform": "",
        "project_url": "https://pypi.org/project/incal/",
        "project_urls": {
            "Homepage": "https://github.com/smtlearning/incal"
        },
        "release_url": "https://pypi.org/project/incal/0.1.1/",
        "requires_dist": [
            "pywmi",
            "numpy",
            "typing",
            "pysmt",
            "matplotlib",
            "scikit-learn",
            "pickledb",
            "pysdd ; extra == 'sdd'"
        ],
        "requires_python": ">=3.5.0",
        "summary": "Learning SMT(LRA) formulas",
        "version": "0.1.1"
    },
    "last_serial": 4774416,
    "releases": {
        "0.1.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "5c10cf7a38965229ebfdb122738acb38",
                    "sha256": "44dda0480dc65862c966e54eb7f4d97077f319643968aec0a6e404e7c833ee91"
                },
                "downloads": -1,
                "filename": "incal-0.1.1-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "5c10cf7a38965229ebfdb122738acb38",
                "packagetype": "bdist_wheel",
                "python_version": "py2.py3",
                "requires_python": ">=3.5.0",
                "size": 127290,
                "upload_time": "2019-02-03T10:38:07",
                "url": "https://files.pythonhosted.org/packages/18/9b/b48aee7b7ce3394a33ba96a8c79ee79422204ea3fdc3e0ada414d2b2eb3f/incal-0.1.1-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "f9305cb70b511bcaafee746c9832d817",
                    "sha256": "3ad111f65cae6024bb56560e422feb958919b855b6adb8a4c0f00749d468fec7"
                },
                "downloads": -1,
                "filename": "incal-0.1.1.tar.gz",
                "has_sig": false,
                "md5_digest": "f9305cb70b511bcaafee746c9832d817",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.5.0",
                "size": 54796,
                "upload_time": "2019-02-03T10:38:10",
                "url": "https://files.pythonhosted.org/packages/2e/d2/71d260025037492358e50677e49fb5bfe9cbdf6879fd7bfe0f7b47514260/incal-0.1.1.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "5c10cf7a38965229ebfdb122738acb38",
                "sha256": "44dda0480dc65862c966e54eb7f4d97077f319643968aec0a6e404e7c833ee91"
            },
            "downloads": -1,
            "filename": "incal-0.1.1-py2.py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "5c10cf7a38965229ebfdb122738acb38",
            "packagetype": "bdist_wheel",
            "python_version": "py2.py3",
            "requires_python": ">=3.5.0",
            "size": 127290,
            "upload_time": "2019-02-03T10:38:07",
            "url": "https://files.pythonhosted.org/packages/18/9b/b48aee7b7ce3394a33ba96a8c79ee79422204ea3fdc3e0ada414d2b2eb3f/incal-0.1.1-py2.py3-none-any.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "f9305cb70b511bcaafee746c9832d817",
                "sha256": "3ad111f65cae6024bb56560e422feb958919b855b6adb8a4c0f00749d468fec7"
            },
            "downloads": -1,
            "filename": "incal-0.1.1.tar.gz",
            "has_sig": false,
            "md5_digest": "f9305cb70b511bcaafee746c9832d817",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.5.0",
            "size": 54796,
            "upload_time": "2019-02-03T10:38:10",
            "url": "https://files.pythonhosted.org/packages/2e/d2/71d260025037492358e50677e49fb5bfe9cbdf6879fd7bfe0f7b47514260/incal-0.1.1.tar.gz"
        }
    ]
}