{
    "info": {
        "author": "Leonard Truong",
        "author_email": "lenny@cs.stanford.edu",
        "bugtrack_url": null,
        "classifiers": [],
        "description": "[![Build Status](https://travis-ci.org/leonardt/hwtypes.svg?branch=master)](https://travis-ci.org/leonardt/hwtypes)\n\n\n# Install\n## Debian\n```\napt install libgmp-dev libmpfr-dev libmpc-dev\npip install hwtypes\n```\n## OSX\n```\nbrew install gmp mpfr libmpc\npip install hwtypes\n```\n\n## CentOS\n```\nyum install libmpc-devel mpfr-devel gmp-devel\npip install hwtypes\n```",
        "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/leonardt/hwtypes",
        "keywords": "",
        "license": "",
        "maintainer": "",
        "maintainer_email": "",
        "name": "hwtypes",
        "package_url": "https://pypi.org/project/hwtypes/",
        "platform": "",
        "project_url": "https://pypi.org/project/hwtypes/",
        "project_urls": {
            "Homepage": "https://github.com/leonardt/hwtypes"
        },
        "release_url": "https://pypi.org/project/hwtypes/1.3.0/",
        "requires_dist": null,
        "requires_python": "",
        "summary": "Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics",
        "version": "1.3.0"
    },
    "last_serial": 5882274,
    "releases": {
        "0.0.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "c6a025ec466d341e5cf415feddf22848",
                    "sha256": "afef76a2115adf2215646192c6c7ab68e7afc8b708febf4f26db9878f4385e4b"
                },
                "downloads": -1,
                "filename": "hwtypes-0.0.1.tar.gz",
                "has_sig": false,
                "md5_digest": "c6a025ec466d341e5cf415feddf22848",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 797,
                "upload_time": "2019-01-26T00:25:20",
                "url": "https://files.pythonhosted.org/packages/42/f9/0fea6695560892557bc9b3d7b311711f162baea14a0b269472f06e12fc82/hwtypes-0.0.1.tar.gz"
            }
        ],
        "1.0.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "f5ddf73670831a06a62698c21a86b01e",
                    "sha256": "c6abe6bc6e9598d6604e504084e35cd5ce2b716d9aa64b08fc3a306b708e8698"
                },
                "downloads": -1,
                "filename": "hwtypes-1.0.1.tar.gz",
                "has_sig": false,
                "md5_digest": "f5ddf73670831a06a62698c21a86b01e",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 5333,
                "upload_time": "2019-02-28T20:35:51",
                "url": "https://files.pythonhosted.org/packages/92/52/9ab51fdfc5ce39496d85e9817b630394c9f9ba5ce6fac78840117fb18543/hwtypes-1.0.1.tar.gz"
            }
        ],
        "1.0.10": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "f7c696294c1d3c3e821af01b96ac3d7b",
                    "sha256": "478d3b6b27007f36fe746cc2a2a3db5fcf4879a4dd67222ce54f66b629d25b56"
                },
                "downloads": -1,
                "filename": "hwtypes-1.0.10.tar.gz",
                "has_sig": false,
                "md5_digest": "f7c696294c1d3c3e821af01b96ac3d7b",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 15943,
                "upload_time": "2019-05-21T21:33:50",
                "url": "https://files.pythonhosted.org/packages/77/ae/fb8c3ff1d11166dc547a1fe05911b3b43ff5378cc01434febbc0965d628f/hwtypes-1.0.10.tar.gz"
            }
        ],
        "1.0.11": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "589d36583de08f64090e5b01f6240235",
                    "sha256": "b95cc97ede31a0670e6f25da617702bf2083fac1f5f87f99ee562fed0024d978"
                },
                "downloads": -1,
                "filename": "hwtypes-1.0.11.tar.gz",
                "has_sig": false,
                "md5_digest": "589d36583de08f64090e5b01f6240235",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 16238,
                "upload_time": "2019-05-23T01:11:34",
                "url": "https://files.pythonhosted.org/packages/b1/e8/afdab29323ba6f136c222aa1b6f770bd92ef45d82e7348f2b0ab3af8800a/hwtypes-1.0.11.tar.gz"
            }
        ],
        "1.0.12": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "087ca755e1d03d583bf01f82ea130f31",
                    "sha256": "01f621cbe280632e1821ce27960547ec10c6b41c534a68c98bbfed75a68e381e"
                },
                "downloads": -1,
                "filename": "hwtypes-1.0.12.tar.gz",
                "has_sig": false,
                "md5_digest": "087ca755e1d03d583bf01f82ea130f31",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 17429,
                "upload_time": "2019-06-13T05:59:32",
                "url": "https://files.pythonhosted.org/packages/66/1b/671a60ad74d1a60a78078081f6c7bae075af3dc47a5f2d6670abd4aedefb/hwtypes-1.0.12.tar.gz"
            }
        ],
        "1.0.13": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "b4ac94a3c5929737ac7984bda80066a8",
                    "sha256": "9bba9b4ddde0428768486fe5b00551eae6dc328090ffb582e2edc831c39211a7"
                },
                "downloads": -1,
                "filename": "hwtypes-1.0.13.tar.gz",
                "has_sig": false,
                "md5_digest": "b4ac94a3c5929737ac7984bda80066a8",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 17385,
                "upload_time": "2019-06-17T19:43:31",
                "url": "https://files.pythonhosted.org/packages/23/d4/6bbbf29fdc029ce8fdfd03e95dedea18746134fa0ad411e02d0f7763de9e/hwtypes-1.0.13.tar.gz"
            }
        ],
        "1.0.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "6999dbbf161f415095591db18591fe8c",
                    "sha256": "2361a4034030b8362288b1b4eab79fd3f09282bfb5aedf5186842e85e030afbe"
                },
                "downloads": -1,
                "filename": "hwtypes-1.0.2.tar.gz",
                "has_sig": false,
                "md5_digest": "6999dbbf161f415095591db18591fe8c",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 5687,
                "upload_time": "2019-03-08T18:39:59",
                "url": "https://files.pythonhosted.org/packages/ad/07/8142d6b1d64d38df3d3cde214091e37957f153fa4251ac1d05b0e3d43312/hwtypes-1.0.2.tar.gz"
            }
        ],
        "1.0.3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "e7d24653607748c2f21c6040e4f139ff",
                    "sha256": "9b7f11321251fca5f1979e14cb6be343e7c5a8024f981869a0c4cfd1fe2ed46c"
                },
                "downloads": -1,
                "filename": "hwtypes-1.0.3.tar.gz",
                "has_sig": false,
                "md5_digest": "e7d24653607748c2f21c6040e4f139ff",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 5686,
                "upload_time": "2019-03-13T16:56:20",
                "url": "https://files.pythonhosted.org/packages/8d/37/cfc617caa631c892b29a81307efb85a0c5aebec27e3ed63fbf16de3ad1a9/hwtypes-1.0.3.tar.gz"
            }
        ],
        "1.0.4": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "237666e524118983e392a070c1fb8ff5",
                    "sha256": "c0c735296610bfa5f0382bf30e5c36e9b8e861cd575d97fe35e6a6fab44ddba8"
                },
                "downloads": -1,
                "filename": "hwtypes-1.0.4-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "237666e524118983e392a070c1fb8ff5",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 11265,
                "upload_time": "2019-04-22T18:25:17",
                "url": "https://files.pythonhosted.org/packages/23/69/349b77b4b5a5818fcca16d257d326cff11414e34cd9a0b24ac2ceb83901e/hwtypes-1.0.4-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "a55b147dabf0a96960240975f017a2d7",
                    "sha256": "e4059f6f99fcf5c890e18350ac43889cd6b63c495fe92e099f39c3a75f7148b4"
                },
                "downloads": -1,
                "filename": "hwtypes-1.0.4.tar.gz",
                "has_sig": false,
                "md5_digest": "a55b147dabf0a96960240975f017a2d7",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 8752,
                "upload_time": "2019-04-22T18:25:19",
                "url": "https://files.pythonhosted.org/packages/e0/de/0c98b3a70a85720b36ba3999e44ba014142c6f8705eed49945d2b795d044/hwtypes-1.0.4.tar.gz"
            }
        ],
        "1.0.5": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "0525d52a1334f49f0dc2f69dce1312a0",
                    "sha256": "c5306ed37b3a06b9f947c8802d13e1f928ec8719cdb66132fbc0428d2f30e2cb"
                },
                "downloads": -1,
                "filename": "hwtypes-1.0.5-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "0525d52a1334f49f0dc2f69dce1312a0",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 11361,
                "upload_time": "2019-04-24T00:33:14",
                "url": "https://files.pythonhosted.org/packages/96/04/21cbe9999cfe579d9f167a77d3fc5c59300c53cd035c111254ec0550741e/hwtypes-1.0.5-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "80a6442f6ad6c19d834615fdcc3d153b",
                    "sha256": "78a2f6923eb6afe8cd4fb0517daa4dcb1d1e27143e7c1a76ae9fa799f4503514"
                },
                "downloads": -1,
                "filename": "hwtypes-1.0.5.tar.gz",
                "has_sig": false,
                "md5_digest": "80a6442f6ad6c19d834615fdcc3d153b",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 8848,
                "upload_time": "2019-04-24T00:33:16",
                "url": "https://files.pythonhosted.org/packages/9e/14/7b5d297854074703c2ebea9c36e37dc526d9e807fcad8273f0409770f70d/hwtypes-1.0.5.tar.gz"
            }
        ],
        "1.0.6": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "495c2ffb3819b946576ec1f67c812fff",
                    "sha256": "1af70733790c14739a8d3c7da903e5e747ffa7714d89137425718873e3588cb6"
                },
                "downloads": -1,
                "filename": "hwtypes-1.0.6.tar.gz",
                "has_sig": false,
                "md5_digest": "495c2ffb3819b946576ec1f67c812fff",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 12665,
                "upload_time": "2019-04-26T20:24:36",
                "url": "https://files.pythonhosted.org/packages/a0/69/56c601755ef89dd84cc14152672e9b486d23c2fe878639f59c8ccbb9190e/hwtypes-1.0.6.tar.gz"
            }
        ],
        "1.0.7": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "e28307cf33444d99a3658ac2f752a573",
                    "sha256": "c78f1d91a7be77e4451b8ec4b0f916eef4e533af628fc05a50faa3b3958dacd2"
                },
                "downloads": -1,
                "filename": "hwtypes-1.0.7.tar.gz",
                "has_sig": false,
                "md5_digest": "e28307cf33444d99a3658ac2f752a573",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 11905,
                "upload_time": "2019-04-26T23:02:38",
                "url": "https://files.pythonhosted.org/packages/7e/80/e4e46524731c1d0d58e53018833c149ef897e7ec7d743e2c00ab8629d601/hwtypes-1.0.7.tar.gz"
            }
        ],
        "1.0.9": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "5e91bddcd8ef2c4288d5590d42f647bc",
                    "sha256": "0a9146c4f2649080748c94b5cac2ba590f806c3b4823d78955c603559f330391"
                },
                "downloads": -1,
                "filename": "hwtypes-1.0.9.tar.gz",
                "has_sig": false,
                "md5_digest": "5e91bddcd8ef2c4288d5590d42f647bc",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 12677,
                "upload_time": "2019-04-30T20:31:33",
                "url": "https://files.pythonhosted.org/packages/9d/fe/6e55cda104ac784005c8556d4fdf0da4ffce136bbd265f3d8cc5b9ace992/hwtypes-1.0.9.tar.gz"
            }
        ],
        "1.1.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "a4aa4e4c0b81f6b3ba33ab22e681ac34",
                    "sha256": "69b45ef06adcd84c55560a5ebc7a01a12318104e14325793ec2e65b52f62ef87"
                },
                "downloads": -1,
                "filename": "hwtypes-1.1.1-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "a4aa4e4c0b81f6b3ba33ab22e681ac34",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 25796,
                "upload_time": "2019-07-17T16:38:14",
                "url": "https://files.pythonhosted.org/packages/17/f5/e8a17075aa742f7d4591d1fddac4c335f8274657621cdc145d31bf3f2ed8/hwtypes-1.1.1-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "3a976b090bec897efc8ed083bba3d7d6",
                    "sha256": "a1e85fd221e347f219a0e77449f22dd0409df823e07dab481c65ba9007f71044"
                },
                "downloads": -1,
                "filename": "hwtypes-1.1.1.tar.gz",
                "has_sig": false,
                "md5_digest": "3a976b090bec897efc8ed083bba3d7d6",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 17807,
                "upload_time": "2019-07-11T18:12:28",
                "url": "https://files.pythonhosted.org/packages/9b/c8/3b2c653b081132320b5c616b1db34c9ee512a4aadec4bb3cc6d40f1c037b/hwtypes-1.1.1.tar.gz"
            }
        ],
        "1.1.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "1e694818938cbcb8a368bf52c3a3c3c4",
                    "sha256": "0d37f92468fb6e6618f0555d14fc7f7c904c531343651e9e76fd3979c3a5d2dd"
                },
                "downloads": -1,
                "filename": "hwtypes-1.1.2-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "1e694818938cbcb8a368bf52c3a3c3c4",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 25798,
                "upload_time": "2019-07-17T16:38:15",
                "url": "https://files.pythonhosted.org/packages/57/0f/6c7fef733656c5ed318b94b605ae0b0234290d404353d9fd8f47ac0907af/hwtypes-1.1.2-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "bcc130db65dbe317c0f6ff2530eb4149",
                    "sha256": "e82e49c3372caff5aca5b883b526473fac688012ff78e381a708307bdfc181aa"
                },
                "downloads": -1,
                "filename": "hwtypes-1.1.2.tar.gz",
                "has_sig": false,
                "md5_digest": "bcc130db65dbe317c0f6ff2530eb4149",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 19489,
                "upload_time": "2019-07-17T17:42:00",
                "url": "https://files.pythonhosted.org/packages/c2/a5/e33c4d1b7475fbaaf71ab2cbddcd9d8c23731373af255405e7ae88013ed2/hwtypes-1.1.2.tar.gz"
            }
        ],
        "1.1.3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "6f1a60bc42b3619f8498052a2ba2b82d",
                    "sha256": "f8254e6b4eee0f96b4b5146fcbf6392a6480a700e9df4d74ccf26f9d051dac8e"
                },
                "downloads": -1,
                "filename": "hwtypes-1.1.3.tar.gz",
                "has_sig": false,
                "md5_digest": "6f1a60bc42b3619f8498052a2ba2b82d",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 19609,
                "upload_time": "2019-07-18T22:23:47",
                "url": "https://files.pythonhosted.org/packages/59/c3/a15ab489095a2b37c61e2bffb99be2145d5af6809e257c612c58add19479/hwtypes-1.1.3.tar.gz"
            }
        ],
        "1.1.4": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "4c1be4d73b7ff06ea1de3ad4da30e1f1",
                    "sha256": "f539eef4cd120d0d4c94fafaecd942a617f2ba8b9e657ae6732bd8998d9e2002"
                },
                "downloads": -1,
                "filename": "hwtypes-1.1.4.tar.gz",
                "has_sig": false,
                "md5_digest": "4c1be4d73b7ff06ea1de3ad4da30e1f1",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 19803,
                "upload_time": "2019-07-18T22:27:45",
                "url": "https://files.pythonhosted.org/packages/8d/fd/5ee89d3dd5a84463dc12545de09180dfcc7e26d6a022c1300bc640d0d051/hwtypes-1.1.4.tar.gz"
            }
        ],
        "1.1.5": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "44ee37b3aa36a13cbe78e87ba5f06274",
                    "sha256": "4ba4cdbd83d85f34737d5a58795b2dc4e360e9b6e2daf7d2e7c59f13d22914db"
                },
                "downloads": -1,
                "filename": "hwtypes-1.1.5.tar.gz",
                "has_sig": false,
                "md5_digest": "44ee37b3aa36a13cbe78e87ba5f06274",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 20194,
                "upload_time": "2019-07-25T21:51:05",
                "url": "https://files.pythonhosted.org/packages/8b/6e/6a69e6d882a9bc2ad1a93be8043eca50e517e1e9896f9b919ef6550fcd6f/hwtypes-1.1.5.tar.gz"
            }
        ],
        "1.1.6": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "0222bcb94b7048fc40289ce13e905209",
                    "sha256": "e8f825b505427ca51dbb42c92112dcec1234e855e66d417e9645d300cf6a47b0"
                },
                "downloads": -1,
                "filename": "hwtypes-1.1.6.tar.gz",
                "has_sig": false,
                "md5_digest": "0222bcb94b7048fc40289ce13e905209",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 20776,
                "upload_time": "2019-08-01T17:27:36",
                "url": "https://files.pythonhosted.org/packages/af/28/b69bbe67d7ca309f62ded385c33abdd007e84e7bc4797c38ea0e666e8fe6/hwtypes-1.1.6.tar.gz"
            }
        ],
        "1.2.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "30ebdd65755b734fd056da542e12890a",
                    "sha256": "de2496937797082738941eedeb6d5abd949cfc1e6738102565e31a068fe9a83f"
                },
                "downloads": -1,
                "filename": "hwtypes-1.2.0.tar.gz",
                "has_sig": false,
                "md5_digest": "30ebdd65755b734fd056da542e12890a",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 21223,
                "upload_time": "2019-09-24T21:22:33",
                "url": "https://files.pythonhosted.org/packages/ea/09/4ce4bf1120f1bbc8d2a10a36727500ac441343bb79cf3ba7d4b08e7aa35e/hwtypes-1.2.0.tar.gz"
            }
        ],
        "1.3.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "364472503de47bb83d3939b5fad13d22",
                    "sha256": "3fb707d4b7ab097c2f64ffc8d44f8632ae149e2cedb78995d576be740fbf4676"
                },
                "downloads": -1,
                "filename": "hwtypes-1.3.0.tar.gz",
                "has_sig": false,
                "md5_digest": "364472503de47bb83d3939b5fad13d22",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 21619,
                "upload_time": "2019-09-24T23:24:26",
                "url": "https://files.pythonhosted.org/packages/fd/3a/facc7bc373a3f8bd377733abcc477236418b29333f540fe695d373e13688/hwtypes-1.3.0.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "364472503de47bb83d3939b5fad13d22",
                "sha256": "3fb707d4b7ab097c2f64ffc8d44f8632ae149e2cedb78995d576be740fbf4676"
            },
            "downloads": -1,
            "filename": "hwtypes-1.3.0.tar.gz",
            "has_sig": false,
            "md5_digest": "364472503de47bb83d3939b5fad13d22",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 21619,
            "upload_time": "2019-09-24T23:24:26",
            "url": "https://files.pythonhosted.org/packages/fd/3a/facc7bc373a3f8bd377733abcc477236418b29333f540fe695d373e13688/hwtypes-1.3.0.tar.gz"
        }
    ]
}