{
    "info": {
        "author": "The CVC4 Solver",
        "author_email": "",
        "bugtrack_url": null,
        "classifiers": [],
        "description": "CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.\n\n\n",
        "description_content_type": "",
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "http://cvc4.cs.stanford.edu",
        "keywords": "cvc4,smt,sat,prover,theorem",
        "license": "GPL License",
        "maintainer": "Sebastiano Mariani",
        "maintainer_email": "mariani.sebastiano@gmail.com",
        "name": "cvc4-solver",
        "package_url": "https://pypi.org/project/cvc4-solver/",
        "platform": "",
        "project_url": "https://pypi.org/project/cvc4-solver/",
        "project_urls": {
            "Homepage": "http://cvc4.cs.stanford.edu"
        },
        "release_url": "https://pypi.org/project/cvc4-solver/1.6/",
        "requires_dist": null,
        "requires_python": "",
        "summary": "an efficient SMT solver library",
        "version": "1.6"
    },
    "last_serial": 4744885,
    "releases": {
        "1.6": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "3b853daf39fca0faab648965fa12afe1",
                    "sha256": "36b8449b2e279255987a13c553971c4691ae3263452eec6ab5170dac47de949a"
                },
                "downloads": -1,
                "filename": "cvc4_solver-1.6-py2.py3-none-manylinux1_x86_64.whl",
                "has_sig": false,
                "md5_digest": "3b853daf39fca0faab648965fa12afe1",
                "packagetype": "bdist_wheel",
                "python_version": "py2.py3",
                "requires_python": null,
                "size": 7203462,
                "upload_time": "2019-01-27T00:33:41",
                "url": "https://files.pythonhosted.org/packages/13/45/7e46618e78f6c276cb8095239db0a5db412b90bb9d5acd8ae4bf91913f7a/cvc4_solver-1.6-py2.py3-none-manylinux1_x86_64.whl"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "3b853daf39fca0faab648965fa12afe1",
                "sha256": "36b8449b2e279255987a13c553971c4691ae3263452eec6ab5170dac47de949a"
            },
            "downloads": -1,
            "filename": "cvc4_solver-1.6-py2.py3-none-manylinux1_x86_64.whl",
            "has_sig": false,
            "md5_digest": "3b853daf39fca0faab648965fa12afe1",
            "packagetype": "bdist_wheel",
            "python_version": "py2.py3",
            "requires_python": null,
            "size": 7203462,
            "upload_time": "2019-01-27T00:33:41",
            "url": "https://files.pythonhosted.org/packages/13/45/7e46618e78f6c276cb8095239db0a5db412b90bb9d5acd8ae4bf91913f7a/cvc4_solver-1.6-py2.py3-none-manylinux1_x86_64.whl"
        }
    ]
}