{
    "info": {
        "author": "Kevin Loney",
        "author_email": "kevin.loney@brainsinjars.com",
        "bugtrack_url": null,
        "classifiers": [
            "Development Status :: 2 - Pre-Alpha",
            "Intended Audience :: Science/Research",
            "License :: OSI Approved :: MIT License",
            "Operating System :: OS Independent",
            "Programming Language :: Python :: 3",
            "Programming Language :: Python :: 3.4",
            "Programming Language :: Python :: 3.5",
            "Programming Language :: Python :: 3.6",
            "Programming Language :: Python :: 3.7",
            "Topic :: Scientific/Engineering :: Mathematics"
        ],
        "description": "========\ncnftools\n========\n\n.. image:: https://circleci.com/gh/easyas314159/cnftools/tree/master.svg?style=svg\n    :target: https://circleci.com/gh/easyas314159/cnftools/tree/master\n\nA collection of tools for working with and generating Dimacs CNF files.\n\n------------\nInstallation\n------------\n\n::\n\n\tpip install cnftools\n\n``cnftools`` is listed in `PyPI <https://pypi.org/project/cnftools/>`_ and\ncan be installed with ``pip``.\n\n-----\nUsage\n-----\n\n``cnftools`` exposes the ``cnf`` command-line interface for quickly generating\nDimacs CNF files typically for use with a SAT solver.\n\n3cnf\n====\n\nApply the Tseytin transformation [TSEY1970]_ to a CNF file producing an output\nwhere all clauses contain 3 or fewer literals.\n\n::\n\n\tcnf 3cnf -i [input.cnf]\n\nsimplify\n========\n\nSimply the input CNF file.\n\n::\n\n\tcnf simplify -i [input.cnf] -o [output.cnf]\n\nstats\n=====\n\nProvide details about contents of a CNF file. This includes the number of literals,\nthe total number of clauses, as well as a histogram of clause lengths.\n\n::\n\n\tcnf stats -i [input.cnf]\n\nkarps21\n=======\n\nThis sub-command exposes utilities for generating CNF files based on\nKarp's 21 NP-Complete problems [KARP1972]_. For more details on this utility\nuse the ``-h``/``--help`` option.\n\n::\n\n\tcnf karps21 --help\n\n----------\nReferences\n----------\n\n.. [TSEY1970] Tseitin, Grigori. \"On the complexity of derivation in propositional calculus.\" *Studies in constructive mathematics and mathematical logic* (1968): 115-125.\n.. [COOK1971] Cook, Stephen A. \"The complexity of theorem-proving procedures.\" *Proceedings of the third annual ACM symposium on Theory of computing*. ACM, 1971.\n.. [KARP1972] Karp, Richard M. \"Reducibility among combinatorial problems.\" *Complexity of computer computations*. Springer, Boston, MA, 1972. 85-103.\n\n\n",
        "description_content_type": "",
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "https://github.com/easyas314159/cnftools",
        "keywords": "dimacs cnf sat 3-cnf 3-sat 3cnf 3sat",
        "license": "MIT",
        "maintainer": "",
        "maintainer_email": "",
        "name": "cnftools",
        "package_url": "https://pypi.org/project/cnftools/",
        "platform": "",
        "project_url": "https://pypi.org/project/cnftools/",
        "project_urls": {
            "Homepage": "https://github.com/easyas314159/cnftools"
        },
        "release_url": "https://pypi.org/project/cnftools/0.0.2/",
        "requires_dist": [
            "networkx (>=2.2)"
        ],
        "requires_python": ">=3.4",
        "summary": "A collection of tools for working with and generating Dimacs CNF files.",
        "version": "0.0.2"
    },
    "last_serial": 4570494,
    "releases": {
        "0.0.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "69beb9fb969556b36b3494b973733ef6",
                    "sha256": "4f4229c78441fff69649c5665101ec635a10c323881882db39a0e77892219e77"
                },
                "downloads": -1,
                "filename": "cnftools-0.0.1-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "69beb9fb969556b36b3494b973733ef6",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.4",
                "size": 5276,
                "upload_time": "2018-12-02T21:25:54",
                "url": "https://files.pythonhosted.org/packages/4f/ff/10dfb70dbebea8b06014c8892632689b55bf54dd467120b395bb99d56ec4/cnftools-0.0.1-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "839e1473c53dc7dddefd217a1081125a",
                    "sha256": "56b5a3eea7519515dd121eaaeb73e4b46c784e489387f58bae213f4be10e6cff"
                },
                "downloads": -1,
                "filename": "cnftools-0.0.1.tar.gz",
                "has_sig": false,
                "md5_digest": "839e1473c53dc7dddefd217a1081125a",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.4",
                "size": 4385,
                "upload_time": "2018-12-02T21:25:55",
                "url": "https://files.pythonhosted.org/packages/4e/5d/72f06946149a2b68c2a4ee707a3420755c8128e49d34e03467f2ba5e75c0/cnftools-0.0.1.tar.gz"
            }
        ],
        "0.0.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "a2d22292bc9cf22dc44e9d3f5e3d812e",
                    "sha256": "c63156d035f4ac1d051067ee61d52b9e80fcadee638c8f34a3df4ea9517b5281"
                },
                "downloads": -1,
                "filename": "cnftools-0.0.2-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "a2d22292bc9cf22dc44e9d3f5e3d812e",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.4",
                "size": 14449,
                "upload_time": "2018-12-07T04:33:42",
                "url": "https://files.pythonhosted.org/packages/5f/bf/59afe6f1697f01edd7354141f2433b09d18e95ae2a0b1613a5eaff90f361/cnftools-0.0.2-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "43f81d5f0aefa8360915829333caa69a",
                    "sha256": "c67561ad035b45ae5bbe5cd435c476a2714a0ac4c3f4827b9886415ebb370e9d"
                },
                "downloads": -1,
                "filename": "cnftools-0.0.2.tar.gz",
                "has_sig": false,
                "md5_digest": "43f81d5f0aefa8360915829333caa69a",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.4",
                "size": 10339,
                "upload_time": "2018-12-07T04:33:44",
                "url": "https://files.pythonhosted.org/packages/a6/31/d7841440aaeb983b1244ce6fb81f7d7bf47ba700082a3c678d4bed867712/cnftools-0.0.2.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "a2d22292bc9cf22dc44e9d3f5e3d812e",
                "sha256": "c63156d035f4ac1d051067ee61d52b9e80fcadee638c8f34a3df4ea9517b5281"
            },
            "downloads": -1,
            "filename": "cnftools-0.0.2-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "a2d22292bc9cf22dc44e9d3f5e3d812e",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.4",
            "size": 14449,
            "upload_time": "2018-12-07T04:33:42",
            "url": "https://files.pythonhosted.org/packages/5f/bf/59afe6f1697f01edd7354141f2433b09d18e95ae2a0b1613a5eaff90f361/cnftools-0.0.2-py3-none-any.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "43f81d5f0aefa8360915829333caa69a",
                "sha256": "c67561ad035b45ae5bbe5cd435c476a2714a0ac4c3f4827b9886415ebb370e9d"
            },
            "downloads": -1,
            "filename": "cnftools-0.0.2.tar.gz",
            "has_sig": false,
            "md5_digest": "43f81d5f0aefa8360915829333caa69a",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.4",
            "size": 10339,
            "upload_time": "2018-12-07T04:33:44",
            "url": "https://files.pythonhosted.org/packages/a6/31/d7841440aaeb983b1244ce6fb81f7d7bf47ba700082a3c678d4bed867712/cnftools-0.0.2.tar.gz"
        }
    ]
}