{
    "info": {
        "author": "Marcell Vazquez-Chanlatte",
        "author_email": "marcell.vc@eecs.berkeley.edu",
        "bugtrack_url": null,
        "classifiers": [],
        "description": "",
        "description_content_type": "",
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "http://github.com/mvcisback/py-aiger-analysis",
        "keywords": "",
        "license": "MIT",
        "maintainer": "",
        "maintainer_email": "",
        "name": "py-aiger-analysis",
        "package_url": "https://pypi.org/project/py-aiger-analysis/",
        "platform": "",
        "project_url": "https://pypi.org/project/py-aiger-analysis/",
        "project_urls": {
            "Homepage": "http://github.com/mvcisback/py-aiger-analysis"
        },
        "release_url": "https://pypi.org/project/py-aiger-analysis/0.0.1/",
        "requires_dist": null,
        "requires_python": "",
        "summary": "An extension of py-aiger providing advanced tool support,  including SAT and QBF solvers.",
        "version": "0.0.1"
    },
    "last_serial": 4266449,
    "releases": {
        "0.0.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "9fbf94b33da6c4cc0b8fb39f93264ca4",
                    "sha256": "d66bf78fabfc3a88e49a567d8dba7b9576fa63c32b6028333712114e3ea67491"
                },
                "downloads": -1,
                "filename": "py_aiger_analysis-0.0.1-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "9fbf94b33da6c4cc0b8fb39f93264ca4",
                "packagetype": "bdist_wheel",
                "python_version": "py2.py3",
                "requires_python": null,
                "size": 11195,
                "upload_time": "2018-09-12T20:47:46",
                "url": "https://files.pythonhosted.org/packages/34/87/026a06a4b7bbeb1db0a88f4e4c3936d1ebdcdd0d6acdd30aa547a71561ea/py_aiger_analysis-0.0.1-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "1cb0365ff085cded46fa6c0db426c120",
                    "sha256": "c21792fff48babecf265a892c700674ec2536e446a53e580193486fa7c4bac79"
                },
                "downloads": -1,
                "filename": "py-aiger-analysis-0.0.1.tar.gz",
                "has_sig": false,
                "md5_digest": "1cb0365ff085cded46fa6c0db426c120",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 8522,
                "upload_time": "2018-09-12T20:47:21",
                "url": "https://files.pythonhosted.org/packages/88/c1/30824fae93275b8808c305314156eff3c51e6dad4e1839781baa4ab1f926/py-aiger-analysis-0.0.1.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "9fbf94b33da6c4cc0b8fb39f93264ca4",
                "sha256": "d66bf78fabfc3a88e49a567d8dba7b9576fa63c32b6028333712114e3ea67491"
            },
            "downloads": -1,
            "filename": "py_aiger_analysis-0.0.1-py2.py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "9fbf94b33da6c4cc0b8fb39f93264ca4",
            "packagetype": "bdist_wheel",
            "python_version": "py2.py3",
            "requires_python": null,
            "size": 11195,
            "upload_time": "2018-09-12T20:47:46",
            "url": "https://files.pythonhosted.org/packages/34/87/026a06a4b7bbeb1db0a88f4e4c3936d1ebdcdd0d6acdd30aa547a71561ea/py_aiger_analysis-0.0.1-py2.py3-none-any.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "1cb0365ff085cded46fa6c0db426c120",
                "sha256": "c21792fff48babecf265a892c700674ec2536e446a53e580193486fa7c4bac79"
            },
            "downloads": -1,
            "filename": "py-aiger-analysis-0.0.1.tar.gz",
            "has_sig": false,
            "md5_digest": "1cb0365ff085cded46fa6c0db426c120",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 8522,
            "upload_time": "2018-09-12T20:47:21",
            "url": "https://files.pythonhosted.org/packages/88/c1/30824fae93275b8808c305314156eff3c51e6dad4e1839781baa4ab1f926/py-aiger-analysis-0.0.1.tar.gz"
        }
    ]
}