{
    "info": {
        "author": "Daniel Holth",
        "author_email": "dholth@gmail.com",
        "bugtrack_url": null,
        "classifiers": [
            "Programming Language :: Python",
            "Programming Language :: Python :: 2",
            "Programming Language :: Python :: 2.7",
            "Programming Language :: Python :: 3",
            "Programming Language :: Python :: 3.3"
        ],
        "description": "A cffi binding for PicoSAT [1]_, a SAT solver written in C. This binding\nis designed to expose the whole PicoSAT API at a moderately low level.\n\n.. [1] http://fmv.jku.at/picosat/\n.. [2] http://fmv.jku.at/papers/Biere-JSAT08.pdf\n\n\n0.0.1\n=====\n- Initial version",
        "description_content_type": null,
        "docs_url": null,
        "download_url": "UNKNOWN",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "http://bitbucket.org/dholth/picosat-cffi/",
        "keywords": "picosat sat",
        "license": "MIT",
        "maintainer": null,
        "maintainer_email": null,
        "name": "picosat-cffi",
        "package_url": "https://pypi.org/project/picosat-cffi/",
        "platform": "UNKNOWN",
        "project_url": "https://pypi.org/project/picosat-cffi/",
        "project_urls": {
            "Download": "UNKNOWN",
            "Homepage": "http://bitbucket.org/dholth/picosat-cffi/"
        },
        "release_url": "https://pypi.org/project/picosat-cffi/0.0.1/",
        "requires_dist": null,
        "requires_python": null,
        "summary": "Low-level CFFI bindings for PicoSAT",
        "version": "0.0.1"
    },
    "last_serial": 796236,
    "releases": {
        "0.0.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "ee2991b7c3054c7168fea8e707ea2274",
                    "sha256": "0e8e71fcd25803c09d409a11a5bbec3c5fc79f135d5be8b60458814a1e706afe"
                },
                "downloads": -1,
                "filename": "picosat-cffi-0.0.1.tar.gz",
                "has_sig": false,
                "md5_digest": "ee2991b7c3054c7168fea8e707ea2274",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 78202,
                "upload_time": "2013-05-10T02:53:46",
                "url": "https://files.pythonhosted.org/packages/54/af/528cfc41e17182b359a6be2ca05322b73fb9816bc364a0ee88bca9ae67d6/picosat-cffi-0.0.1.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "ee2991b7c3054c7168fea8e707ea2274",
                "sha256": "0e8e71fcd25803c09d409a11a5bbec3c5fc79f135d5be8b60458814a1e706afe"
            },
            "downloads": -1,
            "filename": "picosat-cffi-0.0.1.tar.gz",
            "has_sig": false,
            "md5_digest": "ee2991b7c3054c7168fea8e707ea2274",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 78202,
            "upload_time": "2013-05-10T02:53:46",
            "url": "https://files.pythonhosted.org/packages/54/af/528cfc41e17182b359a6be2ca05322b73fb9816bc364a0ee88bca9ae67d6/picosat-cffi-0.0.1.tar.gz"
        }
    ]
}