{"package": "hwtypes", "summary": "Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics", "pypi_url": "https://pypi.org/project/hwtypes", "piwheels_url": "https://www.piwheels.org/project/hwtypes", "releases": {"1.4.7": {"released": "2022-10-14 17:04:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.4.7-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.4.7-py3-none-any.whl", "filehash": "b4f1b6b01b865947c596419b2e34a931650c40f39e67e824152bab46b6d360fc", "filesize": 36605, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.4.6": {"released": "2022-09-28 12:41:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.4.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.4.6-py3-none-any.whl", "filehash": "6acb0a80afb5db38265410265326f2f49d1d67cf73b4c141acc0eeb5b6b178cb", "filesize": 36720, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.4.5": {"released": "2022-09-27 18:51:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.4.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.4.5-py3-none-any.whl", "filehash": "0f17ab595ca544869e3c9f98912b431e8687c489aaf8fbe3c5e00be260ec074a", "filesize": 35946, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.4.4": {"released": "2020-10-05 22:22:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.4.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.4.4-py3-none-any.whl", "filehash": "071e1e8b1cb1cb2742a9bf6b86d3c78a65290d09f81a4cb3d77d564479b43d6a", "filesize": 34547, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.4.3": {"released": "2020-08-03 01:26:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.4.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.4.3-py3-none-any.whl", "filehash": "c3fbd80f888e2e14d0e4f1257471401babdfcbeedeb3358f4ac1bdf25cec6b28", "filesize": 34506, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.4.2": {"released": "2020-06-23 22:44:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.4.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.4.2-py3-none-any.whl", "filehash": "e3071d685a8cba05dcf4b7aa1e09699fae19ffa48b8092bbb85fb1f8659fb978", "filesize": 33509, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.4.1": {"released": "2020-06-19 01:07:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.4.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.4.1-py3-none-any.whl", "filehash": "26bed7b076bf2537d01b1e9e09a463e80fda56610f8488a01a849fbb64702bc9", "filesize": 33485, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.4.0": {"released": "2020-06-10 20:35:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.4.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.4.0-py3-none-any.whl", "filehash": "42c79db311f78f2add0731347e0502150ca147ffc09014f67c9cfdb7c63af062", "filesize": 32806, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.3.6": {"released": "2020-03-20 22:43:27", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.3.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.3.6-py3-none-any.whl", "filehash": "4fff692ae68668024cd5d4d63726cf621661d8071b37ca82a4a4687a68df5746", "filesize": 32356, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.3.5": {"released": "2020-01-17 00:49:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.3.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.3.5-py3-none-any.whl", "filehash": "ec2632e353d7f6b5eb666246b68616e8db52422d417a35333e27c3e8584d0ebc", "filesize": 31143, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.3.4": {"released": "2020-01-11 00:23:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.3.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.3.4-py3-none-any.whl", "filehash": "c9aec54200dc576cf47226afbd0af8e130843fe2183d88aa904696bb3bc3e325", "filesize": 30981, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.3.3": {"released": "2020-01-10 21:36:56", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.3.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.3.3-py3-none-any.whl", "filehash": "301aae567814515aa9d955e43e4e828ed0d53c85dfdfa70e5771a33476cf499c", "filesize": 30000, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.3.2": {"released": "2020-01-08 04:45:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.3.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.3.2-py3-none-any.whl", "filehash": "4a8205d195e570c19aeaf289e150f61636ef5621731e33afde5272a0b44493bf", "filesize": 29608, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.3.1": {"released": "2019-12-20 18:59:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.3.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.3.1-py3-none-any.whl", "filehash": "244e3758624e9bed10a033d442f8fb002796e3c792c6cdfddd06a6010605e03c", "filesize": 29328, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.3.0": {"released": "2019-09-24 23:24:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.3.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.3.0-py3-none-any.whl", "filehash": "96518fe02063c603d8aa06e39f2702b8964816225615c1cb014ec07374d12d4e", "filesize": 27536, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.2.0": {"released": "2019-09-24 21:22:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.2.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.2.0-py3-none-any.whl", "filehash": "86cf18321ceea5ba0fdfc77872432c32cc4bf4713ec340882c2286377e72e85b", "filesize": 27135, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.1.6": {"released": "2019-08-01 17:27:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.1.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.1.6-py3-none-any.whl", "filehash": "66b2da9465833bafe41e22eec1e511692e702f47b063c067140ac8f8c09c3e7e", "filesize": 26634, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.1.5": {"released": "2019-07-25 21:51:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.1.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.1.5-py3-none-any.whl", "filehash": "80e5a68ed753c02c21ddde6b7b1f49b089b735970bf771703f5e2abb331e2f84", "filesize": 25798, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.1.4": {"released": "2019-07-18 22:27:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.1.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.1.4-py3-none-any.whl", "filehash": "d6c8c51740586b5af4b56280db106d0bf05d923abf2e53c8b6da65b7a0460b2e", "filesize": 25409, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.1.3": {"released": "2019-07-18 22:23:47", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.1.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.1.3-py3-none-any.whl", "filehash": "1528ac4d180d0eeb943246102fc922c4fc3fa78378f9510d8c40f29847dea01b", "filesize": 24963, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.1.2": {"released": "2019-07-17 16:38:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.1.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.1.2-py3-none-any.whl", "filehash": "0d37f92468fb6e6618f0555d14fc7f7c904c531343651e9e76fd3979c3a5d2dd", "filesize": 25798, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.1.1": {"released": "2019-07-11 18:12:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.1.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.1.1-py3-none-any.whl", "filehash": "10264c2fd6ed5995909b94ef9e5fd699d3698e49b0f70726219ad0f47b4959bf", "filesize": 25399, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.0.13": {"released": "2019-06-17 19:43:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.0.13-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.0.13-py3-none-any.whl", "filehash": "2fbf557e45c6ea0714467edb40fbb05e842ce1a4a9be18620762dcb8a3ef8aa5", "filesize": 25060, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.0.12": {"released": "2019-06-13 05:59:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.0.12-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.0.12-py3-none-any.whl", "filehash": "2f15e51bdd2239d7712906cc432133501f58e59ac60f3540af18aeed19687242", "filesize": 25065, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.0.11": {"released": "2019-05-23 01:11:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.0.11-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.0.11-py3-none-any.whl", "filehash": "a09724821a5184e884b0bca00aa0283cbd70a73c91326285729afeb029c1c38c", "filesize": 23564, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.0.10": {"released": "2019-05-21 21:33:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.0.10-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.0.10-py3-none-any.whl", "filehash": "36a9896c736894b94a6dea00440e0e7f7483f607b64667b0d7f11531c0c141e6", "filesize": 22924, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["gmpy2", "pysmt", "z3-solver"]}}}, "1.0.9": {"released": "2019-04-30 20:31:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.0.9-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.0.9-py3-none-any.whl", "filehash": "7f2d89c4aa932e097fc1efc1d02ff09b16d48517754820a73df8ff5c72dc11cd", "filesize": 17447, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["numpy", "pysmt", "z3-solver"]}}}, "1.0.7": {"released": "2019-04-26 23:02:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.0.7-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.0.7-py3-none-any.whl", "filehash": "5b3af4c2b92f9dc15ab959c824e83f92e9996e57a106a2b1f2c30639c65e1d80", "filesize": 17447, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["numpy", "pysmt", "z3-solver"]}}}, "1.0.6": {"released": "2019-04-26 20:24:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.0.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.0.6-py3-none-any.whl", "filehash": "a89bdb00aa6fb904d185ce671539223ac42ebca9ff446698f1106c41a39db670", "filesize": 18343, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["numpy", "pysmt", "z3"]}}}, "1.0.5": {"released": "2019-04-24 00:33:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.0.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.0.5-py3-none-any.whl", "filehash": "c5306ed37b3a06b9f947c8802d13e1f928ec8719cdb66132fbc0428d2f30e2cb", "filesize": 11361, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["numpy"]}}}, "1.0.4": {"released": "2019-04-22 18:25:17", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.0.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.0.4-py3-none-any.whl", "filehash": "c0c735296610bfa5f0382bf30e5c36e9b8e861cd575d97fe35e6a6fab44ddba8", "filesize": 11265, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["numpy"]}}}, "1.0.3": {"released": "2019-03-13 16:56:20", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.0.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.0.3-py3-none-any.whl", "filehash": "2ef853ce250375bc2a74522123beffb68b5dd343cdf5f1e4c3c54b17a25d43f7", "filesize": 6672, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["numpy"]}}}, "1.0.2": {"released": "2019-03-08 18:39:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.0.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.0.2-py3-none-any.whl", "filehash": "6dec0811d2c7f56ad77fbe8a10104974270c5056ebf0f9e4e393940f3c29c3e0", "filesize": 6675, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["numpy"]}}}, "1.0.1": {"released": "2019-02-28 20:35:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-1.0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-1.0.1-py3-none-any.whl", "filehash": "fa8b87f1330d863fbf9c0fba2d6afbda0ac44d5a4274d37ed95b0db13185d2e8", "filesize": 6322, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["numpy"]}}}, "0.0.1": {"released": "2019-01-26 00:25:20", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"hwtypes-0.0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/hwtypes/hwtypes-0.0.1-py3-none-any.whl", "filehash": "b9cc97b124996dbc44934eed6584d11d7d7fd40b1834e8be1526e44eea91a712", "filesize": 1269, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6", "apt_dependencies": [], "pip_dependencies": []}}}}}