{
    "info": {
        "author": "Simon Cruanes, Gregoire Hamon, Stijn Heymans, Ian Mason, Sam Owre, N. Shankar",
        "author_email": "owre@csl.sri.com",
        "bugtrack_url": null,
        "classifiers": [
            "Development Status :: 3 - Alpha",
            "License :: OSI Approved :: GNU General Public License (GPL)",
            "Natural Language :: English",
            "Operating System :: OS Independent",
            "Programming Language :: Python",
            "Programming Language :: Python :: 2",
            "Programming Language :: Python :: 2.6",
            "Programming Language :: Python :: 2.7"
        ],
        "description": "==========================================\nThis is the Evidential Tool Bus (ETB) v0.2\n==========================================\n\nThe Evidential Tool Bus provides \n\nSee the file INSTALL for installation instruction, in particular\nexternal dependencies required to get ETB running.\n\nThe demos/ directory contains demos of ETB: \n\n    - allsat/ implements an ALLSAT solver using the ETB on top of the\n      yices SMT solver.\n\n    - allsat2/ implements an ALLSAT solver using the ETB on top of the\n      yices2 SMT solver.\n  \n    - make/ shows how to use the ETB to implement a distributed make\n      tools that keeps track of all dependencies between source and\n      objects files.\n\n    - k-induction/ shows two ways to implement a simple k-induction\n      procedure on top of the ETB. It shows how derivation rules can\n      be used to establish a fact, and inference rules can be used\n      to extract a proof of that fact.\n\n    - hybridSal/ shows how to integrate separate tools in a \n      complete workflow.\n\n    - vc/ shows a demo of a wrapper that dynamically creates lemmata (generated clauses)\n\n    - blackwhite/ shows a demo of the pure Datalog with recursion but without any wrappers\n\ndoc contains the documentation, including reference manuals\n\nsrc contains the source code (see the README there for more details)\n\ntests contains test scripts",
        "description_content_type": null,
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "http://pypi.python.org/pypi/ETB/",
        "keywords": "",
        "license": "LICENSE",
        "maintainer": "",
        "maintainer_email": "",
        "name": "EvidentialToolBus",
        "package_url": "https://pypi.org/project/EvidentialToolBus/",
        "platform": "UNKNOWN",
        "project_url": "https://pypi.org/project/EvidentialToolBus/",
        "project_urls": {
            "Homepage": "http://pypi.python.org/pypi/ETB/"
        },
        "release_url": "https://pypi.org/project/EvidentialToolBus/1.0.1/",
        "requires_dist": null,
        "requires_python": "",
        "summary": "The Evidential Tool Bus.",
        "version": "1.0.1"
    },
    "last_serial": 1756309,
    "releases": {
        "1.0.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "a998431ce9a9ca38e4d282cca37610fd",
                    "sha256": "8df7328d7ae955c9920de188fe30dc68da548d2ca3f39fc29c42ddd1bcb62d57"
                },
                "downloads": -1,
                "filename": "EvidentialToolBus-1.0.1.tar.gz",
                "has_sig": false,
                "md5_digest": "a998431ce9a9ca38e4d282cca37610fd",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 123618,
                "upload_time": "2015-10-07T10:02:41",
                "url": "https://files.pythonhosted.org/packages/71/14/7bb3119773a65df750d0bafa2390f4c6b998616c9511beeb1b18793a3abf/EvidentialToolBus-1.0.1.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "a998431ce9a9ca38e4d282cca37610fd",
                "sha256": "8df7328d7ae955c9920de188fe30dc68da548d2ca3f39fc29c42ddd1bcb62d57"
            },
            "downloads": -1,
            "filename": "EvidentialToolBus-1.0.1.tar.gz",
            "has_sig": false,
            "md5_digest": "a998431ce9a9ca38e4d282cca37610fd",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 123618,
            "upload_time": "2015-10-07T10:02:41",
            "url": "https://files.pythonhosted.org/packages/71/14/7bb3119773a65df750d0bafa2390f4c6b998616c9511beeb1b18793a3abf/EvidentialToolBus-1.0.1.tar.gz"
        }
    ]
}