{
    "info": {
        "author": "PySMT Team",
        "author_email": "info@pysmt.org",
        "bugtrack_url": null,
        "classifiers": [
            "Development Status :: 4 - Beta",
            "Intended Audience :: Developers",
            "Programming Language :: Python",
            "Programming Language :: Python :: 3",
            "Topic :: Software Development :: Libraries :: Python Modules"
        ],
        "description": "==========================\nPicosat SAT-Solver Wrapper\n==========================\n\npyPicosat provides a basic wrapping around the efficient Picosat SAT-Solver.\n\nTo build this wrapper you need SWIG to be installed.\n\nPicosat is developed by Armin Biere, for more information: http://fmv.jku.at/picosat/",
        "description_content_type": null,
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "https://github.com/pysmt/pyPicoSAT/",
        "keywords": "",
        "license": "BSD",
        "maintainer": "",
        "maintainer_email": "",
        "name": "pyPicosat",
        "package_url": "https://pypi.org/project/pyPicosat/",
        "platform": "",
        "project_url": "https://pypi.org/project/pyPicosat/",
        "project_urls": {
            "Homepage": "https://github.com/pysmt/pyPicoSAT/"
        },
        "release_url": "https://pypi.org/project/pyPicosat/965.1708010052/",
        "requires_dist": null,
        "requires_python": "",
        "summary": "Picosat SAT-Solver Wrapper",
        "version": "965.1708010052"
    },
    "last_serial": 3063040,
    "releases": {
        "960.151030": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "854bb7a799a9c7e2ed2cbaebedcccc2e",
                    "sha256": "a6a8388e4bf846978b886fd1917dc46b693c1c8ba3d727d9a2d1ba547257e920"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.151030.tar.gz",
                "has_sig": false,
                "md5_digest": "854bb7a799a9c7e2ed2cbaebedcccc2e",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 443374,
                "upload_time": "2015-10-30T19:23:41",
                "url": "https://files.pythonhosted.org/packages/7c/94/40575cc13137bb5b7e6569abafa103bff4dd53c4094aaa28650f5ca0cfcc/pyPicosat-960.151030.tar.gz"
            }
        ],
        "960.160914": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "7a63649eea6dbdbb16f56b94187c0b82",
                    "sha256": "31edd2e0a71e3e3a43b4b22204abc951588f54d6b2b228043077cdbd037299b0"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.160914.tar.gz",
                "has_sig": false,
                "md5_digest": "7a63649eea6dbdbb16f56b94187c0b82",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 443369,
                "upload_time": "2016-09-14T16:13:34",
                "url": "https://files.pythonhosted.org/packages/4f/a2/edf0ef905d8fba9ccc5a944aaee6a2fbb3cc725f110811f83f5efffbd496/pyPicosat-960.160914.tar.gz"
            }
        ],
        "960.160919": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "43a9c14eb9a3a8436f67cc5a023299db",
                    "sha256": "85da830866c947898d21bb2f031fcfb6061e9ff57ce2b9d28b7a8f115b305fa4"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.160919.tar.gz",
                "has_sig": false,
                "md5_digest": "43a9c14eb9a3a8436f67cc5a023299db",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 443355,
                "upload_time": "2016-09-19T19:53:18",
                "url": "https://files.pythonhosted.org/packages/c4/4b/7dbbe13b0c67a9333401ff74ca636a5eaacdf0e8eedcb0a4ddca96b94e7a/pyPicosat-960.160919.tar.gz"
            }
        ],
        "960.160930": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "ba897bb1ad44d9180a9fe9fc5b852d27",
                    "sha256": "1596236cb5afcd3527fe2da5c7020c957d247acb113cb5c482fdae7315165080"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.160930.tar.gz",
                "has_sig": false,
                "md5_digest": "ba897bb1ad44d9180a9fe9fc5b852d27",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 443365,
                "upload_time": "2016-09-30T11:33:21",
                "url": "https://files.pythonhosted.org/packages/15/26/4985027e3507f0dea4c09c9c9014d1806c102f15038e6383e020595cd149/pyPicosat-960.160930.tar.gz"
            }
        ],
        "960.161003": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "4badd6f58d65ed713b8c9ef6105780d8",
                    "sha256": "bc2095fcf41ae61fa88d145af901af8020859c726ab2d83358b85c9e12d39eb9"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.161003.tar.gz",
                "has_sig": false,
                "md5_digest": "4badd6f58d65ed713b8c9ef6105780d8",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 410394,
                "upload_time": "2016-10-03T19:44:28",
                "url": "https://files.pythonhosted.org/packages/9d/f4/9524f618dd93171fb7ae925c459956cf3cd08e71a7f17dfc9af561999b7d/pyPicosat-960.161003.tar.gz"
            }
        ],
        "960.1610040816": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "daa6fe4aab55d5ee160a850ae3e52f6f",
                    "sha256": "ecf9348eed26970a7051d27a438c2b31b5f067349269cf61873b0b8775632395"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.1610040816.tar.gz",
                "has_sig": false,
                "md5_digest": "daa6fe4aab55d5ee160a850ae3e52f6f",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 408735,
                "upload_time": "2016-10-04T08:16:41",
                "url": "https://files.pythonhosted.org/packages/3f/41/62da5d1a5b18306287c13771764156bed86122d55115ba3af1c291ea7b73/pyPicosat-960.1610040816.tar.gz"
            }
        ],
        "960.1708010010": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "589759b6e748f2a7634f8e49277f65ff",
                    "sha256": "1ea748ef6a6180eb9961df3e92f7610a5890a3770b4e88059092c7034f21427d"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.1708010010-py3.5-linux-x86_64.egg",
                "has_sig": false,
                "md5_digest": "589759b6e748f2a7634f8e49277f65ff",
                "packagetype": "bdist_egg",
                "python_version": "3.5",
                "requires_python": null,
                "size": 158517,
                "upload_time": "2017-08-01T00:10:31",
                "url": "https://files.pythonhosted.org/packages/fd/5f/9d7dda272605b1540dff0863812372e3802be44a0fe5cf3f8478cf3672e9/pyPicosat-960.1708010010-py3.5-linux-x86_64.egg"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "eb7566ef186e3b51b2ac4c51bd0b1fd2",
                    "sha256": "70c9288d5824ff32c84abc0afc8d147bbc255d6618033543f3d3c78469aaaacd"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.1708010010.tar.gz",
                "has_sig": false,
                "md5_digest": "eb7566ef186e3b51b2ac4c51bd0b1fd2",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 408701,
                "upload_time": "2017-08-01T00:10:33",
                "url": "https://files.pythonhosted.org/packages/31/ad/b5f0b725fab21d4bbb7129d8920ab1e391b867052bd0ce98577d167fa032/pyPicosat-960.1708010010.tar.gz"
            }
        ],
        "960.dev1510241145": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "8fbac8b482eee78c188813b5fa59c125",
                    "sha256": "5baa4ada92eb571fa8588786a663f680cd97e8023ba39e31cd74a878b7d223cd"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.dev1510241145.tar.gz",
                "has_sig": false,
                "md5_digest": "8fbac8b482eee78c188813b5fa59c125",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 64345,
                "upload_time": "2015-10-24T11:45:54",
                "url": "https://files.pythonhosted.org/packages/6e/ac/f4f0125bad7df5969ebf262c2a306536c8ea9d93f5ea7234f9f5b722ab1e/pyPicosat-960.dev1510241145.tar.gz"
            }
        ],
        "960.dev1510241149": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "6ca650f144244261f442be3cb2199e00",
                    "sha256": "c92905f99d0f6cddb0fdaac28e1c8fe87c4118118e10b7127746904c5f3ae033"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.dev1510241149.tar.gz",
                "has_sig": false,
                "md5_digest": "6ca650f144244261f442be3cb2199e00",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 443402,
                "upload_time": "2015-10-24T11:49:51",
                "url": "https://files.pythonhosted.org/packages/d0/02/e27ad003a822d96b525b7ab31f517281167b9c84f9ae87a56f5c03cbc5be/pyPicosat-960.dev1510241149.tar.gz"
            }
        ],
        "960.dev1510241204": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "112400683d1000a81083cfba17767d7b",
                    "sha256": "fba53b042a0351f8892db169e9c998d0b422a80f79ae09feec2155504b010f59"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.dev1510241204.tar.gz",
                "has_sig": false,
                "md5_digest": "112400683d1000a81083cfba17767d7b",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 443407,
                "upload_time": "2015-10-24T12:04:20",
                "url": "https://files.pythonhosted.org/packages/aa/f8/ab025a24412d360d73e2c7b88139ff038149f79ac517a872df65421d1390/pyPicosat-960.dev1510241204.tar.gz"
            }
        ],
        "960.dev1510251404": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "0e694cf40af78dfa9d688937d9f8656b",
                    "sha256": "bd3e177c7a72ac848d73bd8e48ab36a0f6137dc11b79a70d766434874fd45768"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.dev1510251404.tar.gz",
                "has_sig": false,
                "md5_digest": "0e694cf40af78dfa9d688937d9f8656b",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 443427,
                "upload_time": "2015-10-25T14:04:14",
                "url": "https://files.pythonhosted.org/packages/c1/93/453739655407a7706c2205e7c72ca35486b6a72c40d55b6afaf7aacd817d/pyPicosat-960.dev1510251404.tar.gz"
            }
        ],
        "960.dev1510262107": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "bd94c3283e6bfc2cd926827b7b842056",
                    "sha256": "f9a651bb6608578af542d1732011e3aa1d244a22ba82ab57003470abdbbe6c22"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.dev1510262107-cp27-none-macosx_10_6_intel.whl",
                "has_sig": false,
                "md5_digest": "bd94c3283e6bfc2cd926827b7b842056",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 82917,
                "upload_time": "2015-10-26T21:19:15",
                "url": "https://files.pythonhosted.org/packages/01/c4/01bff15f1a28d315c8bffa724f74bcd7505958fb15766cc761b50e827c7d/pyPicosat-960.dev1510262107-cp27-none-macosx_10_6_intel.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "27690bab5f5c27e832d668aa2c6c275e",
                    "sha256": "29be29f1d8c67b0d0410caa80cee405aefd702c42c29973dbc3ffd861c3ac1a3"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.dev1510262107-cp27-none-macosx_10_9_x86_64.whl",
                "has_sig": false,
                "md5_digest": "27690bab5f5c27e832d668aa2c6c275e",
                "packagetype": "bdist_wheel",
                "python_version": "cp27",
                "requires_python": null,
                "size": 73690,
                "upload_time": "2015-10-26T21:19:36",
                "url": "https://files.pythonhosted.org/packages/91/65/17bf1ef7b352c4c971a7575c0dcfbda7141027f8b3353a96b65090c7499a/pyPicosat-960.dev1510262107-cp27-none-macosx_10_9_x86_64.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "63ef1fdcbafca1db127a962cd0deb000",
                    "sha256": "05ea167df0cc11e21d2fea84d573b28fe9c2eb224520b8cd07c0e09c6bd7e434"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.dev1510262107-cp35-cp35m-macosx_10_6_intel.whl",
                "has_sig": false,
                "md5_digest": "63ef1fdcbafca1db127a962cd0deb000",
                "packagetype": "bdist_wheel",
                "python_version": "cp35",
                "requires_python": null,
                "size": 106362,
                "upload_time": "2015-10-26T21:19:58",
                "url": "https://files.pythonhosted.org/packages/1a/7c/68ccc9b35cb99eac25faf5578530485ce60552fe52d054291a2b67133c23/pyPicosat-960.dev1510262107-cp35-cp35m-macosx_10_6_intel.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "af544fe84e3458e2501f0d97b2f9ea87",
                    "sha256": "2c6b2f8c493f8dd31a83020d1bc94d811970d7f4fe7732cba253d4393e0e7e85"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.dev1510262107-cp35-cp35m-macosx_10_9_x86_64.whl",
                "has_sig": false,
                "md5_digest": "af544fe84e3458e2501f0d97b2f9ea87",
                "packagetype": "bdist_wheel",
                "python_version": "cp35",
                "requires_python": null,
                "size": 72640,
                "upload_time": "2015-10-26T21:20:11",
                "url": "https://files.pythonhosted.org/packages/d8/01/287dfaa6e9b0b187343637aeabaffbfbd64ec37a9ca91c5ba4a13b849e52/pyPicosat-960.dev1510262107-cp35-cp35m-macosx_10_9_x86_64.whl"
            }
        ],
        "960.dev1510301911": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "c3f63fd3b9ce01f1bc6b3ef39483c54a",
                    "sha256": "3121c501e90e980e5ba824f091ee7c2baa273cc73b19b2b6cf2ffc70b134eb31"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.dev1510301911.tar.gz",
                "has_sig": false,
                "md5_digest": "c3f63fd3b9ce01f1bc6b3ef39483c54a",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 443405,
                "upload_time": "2015-10-30T19:11:33",
                "url": "https://files.pythonhosted.org/packages/66/e5/a1c10ef4bbf2fc1dbe95f3fe4dd9e3d2f36b38dcd09484e0a0aeaffaf652/pyPicosat-960.dev1510301911.tar.gz"
            }
        ],
        "960.dev1610040750": [],
        "960.dev1610040808": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "5eed3e828088915fa077747361f829a7",
                    "sha256": "65999bdb351c6a691a8be2ea617f5e697f03d56cecc7383689c6e96b346b71fa"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.dev1610040808-py2.7-linux-x86_64.egg",
                "has_sig": false,
                "md5_digest": "5eed3e828088915fa077747361f829a7",
                "packagetype": "bdist_egg",
                "python_version": "2.7",
                "requires_python": null,
                "size": 161578,
                "upload_time": "2016-10-04T08:08:34",
                "url": "https://files.pythonhosted.org/packages/21/a5/a732a8a54a6431dd7b6614eb275dff545a3475cb357194bb15ee418cf0f5/pyPicosat-960.dev1610040808-py2.7-linux-x86_64.egg"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "abf6ec6713b65983431a8fb5189e8f6d",
                    "sha256": "add7d60eb7bc5eca14feee47c73802b2fdedbaf9765345ff2de289bf085ce355"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.dev1610040808.tar.gz",
                "has_sig": false,
                "md5_digest": "abf6ec6713b65983431a8fb5189e8f6d",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 408745,
                "upload_time": "2016-10-04T08:08:37",
                "url": "https://files.pythonhosted.org/packages/c8/0f/cdaa3243fa1fb1474a417e3da2923f9cd35a833412b4c1b704d4f900ab01/pyPicosat-960.dev1610040808.tar.gz"
            }
        ],
        "960.dev1610040809": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "36cb5d0528e60ed1918c27ddc6442b53",
                    "sha256": "5c2117c507d97fa55fd1a25952e83658a6dc66fc6273b0e6f4ea246785d18231"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.dev1610040809-py3.5-linux-x86_64.egg",
                "has_sig": false,
                "md5_digest": "36cb5d0528e60ed1918c27ddc6442b53",
                "packagetype": "bdist_egg",
                "python_version": "3.5",
                "requires_python": null,
                "size": 158521,
                "upload_time": "2016-10-04T08:10:01",
                "url": "https://files.pythonhosted.org/packages/b3/d1/0b7cbf0f68906def653e52b45d1bd38ecdc6bdab43ec6558c667e8cf6f3f/pyPicosat-960.dev1610040809-py3.5-linux-x86_64.egg"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "7fc5c89f4b28cde048903dd6b1b7e769",
                    "sha256": "a320db90273f9be3df31881db7767ddc83c80b8809fd6c2a49ce4e5ac59ffeaa"
                },
                "downloads": -1,
                "filename": "pyPicosat-960.dev1610040809.tar.gz",
                "has_sig": false,
                "md5_digest": "7fc5c89f4b28cde048903dd6b1b7e769",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 408765,
                "upload_time": "2016-10-04T08:10:04",
                "url": "https://files.pythonhosted.org/packages/82/2e/bdf9f72a05e681f41abd630e01eba9a2cfc4fe4824ed151fa59b58d45136/pyPicosat-960.dev1610040809.tar.gz"
            }
        ],
        "965.1708010052": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "07fc0fb01bada3a48707d84cc57f7293",
                    "sha256": "c3feb68fccedb3672d3431476b8c033131cc722d5f67b60164d4892e5eff71f0"
                },
                "downloads": -1,
                "filename": "pyPicosat-965.1708010052.tar.gz",
                "has_sig": false,
                "md5_digest": "07fc0fb01bada3a48707d84cc57f7293",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 412425,
                "upload_time": "2017-08-01T00:52:16",
                "url": "https://files.pythonhosted.org/packages/5f/97/fbf0d21a5f8debc5ddd5bad5c346b99a73282dbcce47a6988b1361058a5e/pyPicosat-965.1708010052.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "07fc0fb01bada3a48707d84cc57f7293",
                "sha256": "c3feb68fccedb3672d3431476b8c033131cc722d5f67b60164d4892e5eff71f0"
            },
            "downloads": -1,
            "filename": "pyPicosat-965.1708010052.tar.gz",
            "has_sig": false,
            "md5_digest": "07fc0fb01bada3a48707d84cc57f7293",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 412425,
            "upload_time": "2017-08-01T00:52:16",
            "url": "https://files.pythonhosted.org/packages/5f/97/fbf0d21a5f8debc5ddd5bad5c346b99a73282dbcce47a6988b1361058a5e/pyPicosat-965.1708010052.tar.gz"
        }
    ]
}