{
    "info": {
        "author": "Paolo Morettin",
        "author_email": "paolo.morettin@unitn.it",
        "bugtrack_url": null,
        "classifiers": [
            "License :: OSI Approved :: MIT License",
            "Programming Language :: Python",
            "Programming Language :: Python :: 3"
        ],
        "description": "# wmi-pa\n[![Build Status](https://travis-ci.org/unitn-sml/wmi-pa.svg?branch=master)](https://travis-ci.org/unitn-sml/wmi-pa)\n\nPython 3 implementation of the method presented in:\n\n  [Efficient WMI via SMT-Based Predicate Abstraction](https://www.ijcai.org/proceedings/2017/100)  \n  Paolo Morettin, Andrea Passerini, Roberto Sebastiani,\n  in Proceedings of IJCAI 2017\n\n## pywmi\n\nWMI-PA is now part of [pywmi](https://github.com/weighted-model-integration/pywmi/), a general framework for Weighted Model Integration that offers a number of different solvers, a command-line interface, etc.\n\n## Installation\n\n    pip install wmipa\n\n### Additional requirements\n\n[LattE integrale](https://www.math.ucdavis.edu/~latte/) \nLattE's binary folder must be present in the PATH environment variable.\n\n[MathSAT5](http://mathsat.fbk.eu/)\nRun:\n\n    pysmt-install --msat\n\n## Examples\nWe provide some examples that show how to write a model and evaluate weighted model integrals on it.\nTo run the code in *examples/*, type: python exampleX.py\n\n\n",
        "description_content_type": "text/markdown",
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "http://github.com/unitn-sml/wmi-pa",
        "keywords": "",
        "license": "MIT",
        "maintainer": "",
        "maintainer_email": "",
        "name": "wmipa",
        "package_url": "https://pypi.org/project/wmipa/",
        "platform": "",
        "project_url": "https://pypi.org/project/wmipa/",
        "project_urls": {
            "Homepage": "http://github.com/unitn-sml/wmi-pa"
        },
        "release_url": "https://pypi.org/project/wmipa/0.1.2/",
        "requires_dist": [
            "pysmt",
            "numpy",
            "sympy",
            "networkx"
        ],
        "requires_python": ">=3.5.0",
        "summary": "Weighted Model Integration PA (Predicate Abstraction) solver.",
        "version": "0.1.2"
    },
    "last_serial": 5247999,
    "releases": {
        "0.1.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "2ff9223696253acf51dc7bd8b0724bfb",
                    "sha256": "9bc3b7c7aac4949ce1317c5be14f8400c8a03e98aa00151dee54cb0e19a5c816"
                },
                "downloads": -1,
                "filename": "wmipa-0.1.0-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "2ff9223696253acf51dc7bd8b0724bfb",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.5.0",
                "size": 38524,
                "upload_time": "2019-04-04T11:34:30",
                "url": "https://files.pythonhosted.org/packages/f5/6b/ae05df46b03ed19780da3ffca6c9e99a773e5fd19d634e68eb2d19474037/wmipa-0.1.0-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "9f9d9df4bfa282dd474ec73610d0d29b",
                    "sha256": "ff52901f5a43f84f33a3e86b472fb87ca5f8d42a8475fdecff75fbc6cca7d7bc"
                },
                "downloads": -1,
                "filename": "wmipa-0.1.0.tar.gz",
                "has_sig": false,
                "md5_digest": "9f9d9df4bfa282dd474ec73610d0d29b",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.5.0",
                "size": 32342,
                "upload_time": "2019-04-04T11:34:32",
                "url": "https://files.pythonhosted.org/packages/27/cd/f7bdf886fe1ad187a4feee5bd2054e5a9dbb893c2ef549e0fa718e8200e4/wmipa-0.1.0.tar.gz"
            }
        ],
        "0.1.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "864c40fc1fca995095c0f702ca406a62",
                    "sha256": "e5bb73db1bca7d72ba0cf22a401cf6d9d00ef5328c3d62697ae297697f0598d8"
                },
                "downloads": -1,
                "filename": "wmipa-0.1.1-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "864c40fc1fca995095c0f702ca406a62",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.5.0",
                "size": 38547,
                "upload_time": "2019-04-09T11:57:03",
                "url": "https://files.pythonhosted.org/packages/02/1b/2094e4a0a7d025c3bd9e80d2ae981c2a4110d18592bba307e83cdd01cde8/wmipa-0.1.1-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "8329fb52b56a7e25ce219c318ccd189c",
                    "sha256": "cea2562dbc8c70a06fdf5196dbbd6a6be10ef54f01ed6cbd34c2d2cbfd2d6646"
                },
                "downloads": -1,
                "filename": "wmipa-0.1.1.tar.gz",
                "has_sig": false,
                "md5_digest": "8329fb52b56a7e25ce219c318ccd189c",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.5.0",
                "size": 32434,
                "upload_time": "2019-04-09T11:57:04",
                "url": "https://files.pythonhosted.org/packages/28/92/c3881e7ef4c4b6fdb8a28cb946412839ddcbe746da120e1571cac8501b9e/wmipa-0.1.1.tar.gz"
            }
        ],
        "0.1.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "765991d15c5a13f3307fb4956d044b9e",
                    "sha256": "276983f133c1e15e792355558f6c7108b3580fd8d060145b7b7945c265877f4d"
                },
                "downloads": -1,
                "filename": "wmipa-0.1.2-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "765991d15c5a13f3307fb4956d044b9e",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.5.0",
                "size": 24237,
                "upload_time": "2019-05-09T15:11:51",
                "url": "https://files.pythonhosted.org/packages/36/d5/3989657507dfacfa82ef217f4df9aecd6f11238bbaf726f4b52543930a3e/wmipa-0.1.2-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "6201647329ce64c92d01a771db890092",
                    "sha256": "a70cdbbd91a59519d192d2f87b2743512a06fce7ab7eb10cae1532c73c67f909"
                },
                "downloads": -1,
                "filename": "wmipa-0.1.2.tar.gz",
                "has_sig": false,
                "md5_digest": "6201647329ce64c92d01a771db890092",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.5.0",
                "size": 20198,
                "upload_time": "2019-05-09T15:11:53",
                "url": "https://files.pythonhosted.org/packages/de/87/77d6b276d4e30138efa2a96a5e2eb4d203de8a4cb39d13ce65a37d9d1db4/wmipa-0.1.2.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "765991d15c5a13f3307fb4956d044b9e",
                "sha256": "276983f133c1e15e792355558f6c7108b3580fd8d060145b7b7945c265877f4d"
            },
            "downloads": -1,
            "filename": "wmipa-0.1.2-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "765991d15c5a13f3307fb4956d044b9e",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.5.0",
            "size": 24237,
            "upload_time": "2019-05-09T15:11:51",
            "url": "https://files.pythonhosted.org/packages/36/d5/3989657507dfacfa82ef217f4df9aecd6f11238bbaf726f4b52543930a3e/wmipa-0.1.2-py3-none-any.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "6201647329ce64c92d01a771db890092",
                "sha256": "a70cdbbd91a59519d192d2f87b2743512a06fce7ab7eb10cae1532c73c67f909"
            },
            "downloads": -1,
            "filename": "wmipa-0.1.2.tar.gz",
            "has_sig": false,
            "md5_digest": "6201647329ce64c92d01a771db890092",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.5.0",
            "size": 20198,
            "upload_time": "2019-05-09T15:11:53",
            "url": "https://files.pythonhosted.org/packages/de/87/77d6b276d4e30138efa2a96a5e2eb4d203de8a4cb39d13ce65a37d9d1db4/wmipa-0.1.2.tar.gz"
        }
    ]
}