{
    "info": {
        "author": "Masahiro Sakai",
        "author_email": "masahiro.sakai@gmail.com",
        "bugtrack_url": null,
        "classifiers": [],
        "description": "# pyglucose\n\n[![Build Status (Travis-CI)](https://secure.travis-ci.org/msakai/glucose-pybind11.png?branch=master)](http://travis-ci.org/msakai/glucose-pybind11)\n[![Build status (AppVeyor)](https://ci.appveyor.com/api/projects/status/c3dve9477wgs49c1?svg=true)](https://ci.appveyor.com/project/msakai/glucose-pybind11)\n[![License](https://img.shields.io/badge/License-MIT-blue.svg)](https://opensource.org/licenses/MIT)\n\n[pybind11](https://github.com/pybind/pybind11)-based binding of [glucose SAT solver](http://www.labri.fr/perso/lsimon/glucose/).\n\n## Installation\n\n```\npip install git+https://github.com/msakai/glucose-pybind11/\n```\n\n## Basic Usage\n\nThe `pyglucose` module exports `Solver` and `Lit`.\n\nA SAT problem can be solved as follows:\n\n1. Construct a solver instance using `solver = Solver()`.\n2. Allocate variables using `var = solver.new_var()`.\n   A variable is returned as integer value and can be converted to `Lit` by `Lit(var)`.\n   A literal `lit` can be negated as `~lit`.\n3. Add clauses using `solver.add_clause(clause)`. A clause is represented as `Iterable[Lit]`.\n4. Solve the problem using `solver.solve()`\n5. If `solver.okay` property is `True` then the problem is `SATISFIABLE`, and\n   satisfying assignment can be retrieved using `solver.model` property.\n   Otherwise, the problem is `UNSATISFIABLE`.\n   \n## License\n\n[MIT License](LICENSE)",
        "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/msakai/glucose-pybind11",
        "keywords": "",
        "license": "MIT License",
        "maintainer": "",
        "maintainer_email": "",
        "name": "pyglucose",
        "package_url": "https://pypi.org/project/pyglucose/",
        "platform": "",
        "project_url": "https://pypi.org/project/pyglucose/",
        "project_urls": {
            "Homepage": "https://github.com/msakai/glucose-pybind11"
        },
        "release_url": "https://pypi.org/project/pyglucose/0.0.1/",
        "requires_dist": null,
        "requires_python": "",
        "summary": "pybind11-based binding of glucose SAT solver",
        "version": "0.0.1"
    },
    "last_serial": 5140111,
    "releases": {
        "0.0.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "e32da83354529bddab77a6fa291319be",
                    "sha256": "97cd6e91b6b8aab8f7c33d0e6b029d50c0df04fe94671f7c88910da414461c27"
                },
                "downloads": -1,
                "filename": "pyglucose-0.0.1.tar.gz",
                "has_sig": false,
                "md5_digest": "e32da83354529bddab77a6fa291319be",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 84363,
                "upload_time": "2019-04-14T07:44:57",
                "url": "https://files.pythonhosted.org/packages/d0/ab/c090ade934444eb4e4a56781ad2baed6e86675eb864f823975f9ef5ed69c/pyglucose-0.0.1.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "e32da83354529bddab77a6fa291319be",
                "sha256": "97cd6e91b6b8aab8f7c33d0e6b029d50c0df04fe94671f7c88910da414461c27"
            },
            "downloads": -1,
            "filename": "pyglucose-0.0.1.tar.gz",
            "has_sig": false,
            "md5_digest": "e32da83354529bddab77a6fa291319be",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 84363,
            "upload_time": "2019-04-14T07:44:57",
            "url": "https://files.pythonhosted.org/packages/d0/ab/c090ade934444eb4e4a56781ad2baed6e86675eb864f823975f9ef5ed69c/pyglucose-0.0.1.tar.gz"
        }
    ]
}