{"package": "model-checker", "summary": "A hyperintensional theorem prover for developing and and exploring programmatic semantic theories.", "pypi_url": "https://pypi.org/project/model-checker", "piwheels_url": "https://www.piwheels.org/project/model-checker", "releases": {"1.2.12": {"released": "2025-11-05 19:12:13", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.2.12-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.2.12-py3-none-any.whl", "filehash": "d5d710a1e595a22ef331194aef3bf10ecd33403846a9d600c0081708385768ea", "filesize": 1222034, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.2.11": {"released": "2025-09-30 05:02:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.2.11-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.2.11-py3-none-any.whl", "filehash": "23c4d51ed03e53c54f4395433ddf2c938fce09185df5f2c2cca13b702b466a66", "filesize": 1206631, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.2.10": {"released": "2025-09-25 17:58:25", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.2.10-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.2.10-py3-none-any.whl", "filehash": "2edb3184918bde2efbfa2314ff2d08ba2307a7e2d93f70c5a7b909fc19a47736", "filesize": 1139552, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.2.9": {"released": "2025-09-25 16:27:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.2.9-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.2.9-py3-none-any.whl", "filehash": "40bf6fe181624c2af9c49cc5b6d83dc45289f52bcadbbb41c541632185503b2c", "filesize": 1138799, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.2.8": {"released": "2025-09-25 16:01:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.2.8-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.2.8-py3-none-any.whl", "filehash": "0cc8a1b04cf48bcd055e2218056a42aa36e32d0896b3f45ff2f66c1a8ebdc995", "filesize": 1138597, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.2.4": {"released": "2025-09-24 00:13:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.2.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.2.4-py3-none-any.whl", "filehash": "7f2664e430b4826d7d607ec099b125239d2ac8ddf1ce2c98ea2ede74a5295aa3", "filesize": 1173145, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.2.3": {"released": "2025-09-22 20:49:27", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.2.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.2.3-py3-none-any.whl", "filehash": "335abb08d3a536561357c9b501685e4c3834d548e502517968551dda7d24f862", "filesize": 1170460, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.2.2": {"released": "2025-09-22 19:46:41", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.2.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.2.2-py3-none-any.whl", "filehash": "3a14c32f84d0b1d4ff844f7ca1e8c8f955a14a99e6246d54c917e5e77fbff5a8", "filesize": 1168236, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.2.1": {"released": "2025-09-22 19:10:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.2.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.2.1-py3-none-any.whl", "filehash": "10379e4a15b52af27c0e8d195f81e9a8954f453038047eff5899202e5c11b8ef", "filesize": 1168225, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.2.0": {"released": "2025-09-22 18:36:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.2.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.2.0-py3-none-any.whl", "filehash": "61cf7323d6ba42273a15a8df1c23dc6bc58d5601d849eef683febbc0c2224e56", "filesize": 1131812, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.1.5": {"released": "2025-09-22 17:29:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.1.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.1.5-py3-none-any.whl", "filehash": "9081c4dda83c831fe90aac94f0b2b83a5abdfecee6e7bead8078f8d7f55a6d6b", "filesize": 1169329, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.1.4": {"released": "2025-09-22 16:05:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.1.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.1.4-py3-none-any.whl", "filehash": "b3c1bb9f16a0bbc7b3d2d8e1dac33b0f709a44fa070e6cb8da047d4ca8995d6b", "filesize": 1166359, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.1.3": {"released": "2025-09-22 05:38:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.1.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.1.3-py3-none-any.whl", "filehash": "43357764b0fcc374b3a9c4cf6c722fca59b4b6142932cbde656bdcfd083e2fa3", "filesize": 1131692, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.1.2": {"released": "2025-09-22 05:24:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.1.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.1.2-py3-none-any.whl", "filehash": "54741a674d9f7455b403c1de8a654902cbd40ede09b630dca8982f157f96734b", "filesize": 1131693, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.1.1": {"released": "2025-09-22 05:12:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.1.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.1.1-py3-none-any.whl", "filehash": "0ced80c8ec3126668adeeb73636f88193589368bfa7846a209c6fa114d5bd21a", "filesize": 1131689, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.1.0": {"released": "2025-09-18 19:50:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.1.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.1.0-py3-none-any.whl", "filehash": "1e8fe54872a79f1ec4c0af73a45708fbfa744cfdd15d30f2e0d9c7d80cf25c12", "filesize": 1150851, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.0.3": {"released": "2025-09-16 23:47:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.0.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.0.3-py3-none-any.whl", "filehash": "0cc70c882bdfd161cb0f5b726db1ea5647f43feb6fef31d83522ccfab6c83027", "filesize": 1143348, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.0.2": {"released": "2025-09-16 03:50:58", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.0.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.0.2-py3-none-any.whl", "filehash": "ff518a06432e18f495e10a9346509d38e9279d78764bdf86c38d29ee69566862", "filesize": 1143103, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.0.1": {"released": "2025-09-12 05:49:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.0.1-py3-none-any.whl", "filehash": "88bc0d6da10c69944c8751d71c0d2e62cbcbe6ebbe2d3064bd5ac543d6c50e75", "filesize": 1137513, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "1.0.0": {"released": "2025-08-16 17:03:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-1.0.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-1.0.0-py3-none-any.whl", "filehash": "0185440498cc3e8749141e3fdc2cb8c4947b3688bfd95a55f5291cf60b60268a", "filesize": 881312, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.41": {"released": "2025-08-15 21:40:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.41-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.41-py3-none-any.whl", "filehash": "0d2850591a6d3228920582f83df7301c5219e8badfac79324e4778c62b0815e8", "filesize": 880769, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.40": {"released": "2025-08-14 20:42:29", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.40-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.40-py3-none-any.whl", "filehash": "3144a2795515c69d40178e5505b97e9205b1dbe3864030a8e5c1e42d5135f3bc", "filesize": 851765, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.39": {"released": "2025-08-14 07:02:53", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.39-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.39-py3-none-any.whl", "filehash": "2b258ca71a290ee2772b3a454e79e63a3c959ca8038f8afa45521559797ccaba", "filesize": 845260, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.38": {"released": "2025-08-14 05:19:09", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.38-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.38-py3-none-any.whl", "filehash": "447b6a61b8dd9769379fc4dd022cc6b434dc6c2d3b595472023b8f63effb124a", "filesize": 840373, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.37": {"released": "2025-08-14 04:54:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.37-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.37-py3-none-any.whl", "filehash": "9101bbad8161cec406a80d0db7d89de9889d74a9a48333e69a9a7925422e9b4b", "filesize": 840314, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.36": {"released": "2025-08-06 00:03:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.36-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.36-py3-none-any.whl", "filehash": "201c5b0839dc112182231b82ea39f7230c6527ddbdb45fe51b537e110723e55d", "filesize": 1184180, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.35": {"released": "2025-08-02 03:55:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.35-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.35-py3-none-any.whl", "filehash": "55cc7a186b7c13d1be2e428e33785bc89c8b829072a97ccbc3f6c910e7e41f49", "filesize": 1110792, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.34": {"released": "2025-07-30 12:17:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.34-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.34-py3-none-any.whl", "filehash": "bfdf146c4b95b606d5052915e3a5de08383eb1c9b4ff1483731f6659ac57714f", "filesize": 1109916, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.33": {"released": "2025-07-27 19:53:12", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.33-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.33-py3-none-any.whl", "filehash": "1fe7e2d7fc5bf11569300ef94a2e12033378603fd3d794da14523d6c21914fa7", "filesize": 1088095, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.31": {"released": "2025-07-26 19:46:25", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.31-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.31-py3-none-any.whl", "filehash": "b656d9076cb60b6c102ea63c275030baf506a171c089e5ec9638e26c005a936c", "filesize": 1076347, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.30": {"released": "2025-07-26 01:32:24", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.30-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.30-py3-none-any.whl", "filehash": "3ad58d2d0cbd7a23b46b94642a5f777216953cfc3e5ce356fb6dff2fd05316bd", "filesize": 1043440, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.29": {"released": "2025-07-24 02:31:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.29-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.29-py3-none-any.whl", "filehash": "f7ba1fbaf9ccdb0e7ef17fba305c5835c94a6899c66ca0faefe4a2bda8b1551b", "filesize": 1087935, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.28": {"released": "2025-07-23 02:27:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.28-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.28-py3-none-any.whl", "filehash": "4dbfe1fa4edeb38146e4d421a77197c825178ff200b38ca4a593e7cc5392727a", "filesize": 989382, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.27": {"released": "2025-07-23 00:39:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.27-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.27-py3-none-any.whl", "filehash": "5adb570d540d8009c52162fe3889ba4e6cb0e2ffb0b1b919a876ddb8004f654c", "filesize": 983099, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.26": {"released": "2025-06-19 20:43:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.26-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.26-py3-none-any.whl", "filehash": "25e6218030b5902c2a23921fc140fc2e150f210b8d5c94a3e528d014ef3515fe", "filesize": 861205, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.25": {"released": "2025-06-19 19:24:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.25-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.25-py3-none-any.whl", "filehash": "826df0257aa48168fc8a3deb4bd327b804140d7049b7e6a4e7566dc0eb05702d", "filesize": 861205, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.24": {"released": "2025-06-18 20:09:17", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.24-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.24-py3-none-any.whl", "filehash": "8997ffdf47a6284c110cdd0aca98350d429271f4892f133449952d08d55f3de8", "filesize": 842569, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.23": {"released": "2025-06-18 19:36:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.23-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.23-py3-none-any.whl", "filehash": "1fdb475b084f4a84f4324db495987e8f78b1e559b8bf83b65a644c956b7c741e", "filesize": 873290, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.21": {"released": "2025-06-09 12:35:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.21-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.21-py3-none-any.whl", "filehash": "ec6c0b9a2701e1993894e5943616871e5540764f5bb566a3f392c0fe9ac44382", "filesize": 727500, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.20": {"released": "2025-05-06 22:47:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.20-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.20-py3-none-any.whl", "filehash": "5bb22d25537845ae8e23638690d2483491f483ab6f42e3e255c3e01218faa0fc", "filesize": 622553, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.19": {"released": "2025-05-03 16:59:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.19-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.19-py3-none-any.whl", "filehash": "90a71cdbd5b1d18c94bc71c7c94ec17a2e1908dc67506fe3c5c19c597cce2f77", "filesize": 571918, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.18": {"released": "2025-04-22 19:09:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.18-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.18-py3-none-any.whl", "filehash": "6d034cc0654b49a540df5af2f5cbbda9efc9d40d713ef53154cc4fb91177b2b9", "filesize": 430500, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.17": {"released": "2025-04-18 02:42:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.17-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.17-py3-none-any.whl", "filehash": "2676b31b09b4cbf4ef3036481f6292077633393ee331c2c9aa4ef593ea0d8326", "filesize": 417439, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.16": {"released": "2025-04-15 19:55:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.16-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.16-py3-none-any.whl", "filehash": "8c441529d30e715f1c73e47827b00aed1e5d4a7fbaddce8dfd2c39ef30c85ef5", "filesize": 420360, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.15": {"released": "2025-04-15 19:37:58", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.15-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.15-py3-none-any.whl", "filehash": "690770e4a99e9dda7a200fa96dff6dfbef8e373207cec4fc5433cbf707772b31", "filesize": 420287, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.14": {"released": "2025-04-15 06:33:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.14-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.14-py3-none-any.whl", "filehash": "80a36c1a14569caf317b2acdcb9093740591bf5a72331f26d20e33d598347dbe", "filesize": 398715, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.13": {"released": "2025-04-15 05:05:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.13-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.13-py3-none-any.whl", "filehash": "4bb64d4d1799db49f7a5111c817b3f24d31f1b1eb9bda9e8517adcd0e7c26e5b", "filesize": 398339, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.12": {"released": "2025-04-15 02:29:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.12-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.12-py3-none-any.whl", "filehash": "53d2785474223bd1edcf81c02936be9ae6ee44ee29a1da6f83dafdc5af21247f", "filesize": 396310, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["networkx", "z3-solver"]}}}, "0.9.11": {"released": "2025-04-14 16:21:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.11-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.11-py3-none-any.whl", "filehash": "353fe4b4e44022395c3e4e027535455fcb4971af9c45a275e5325990cb228ef5", "filesize": 424636, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.9.10": {"released": "2025-04-14 05:04:24", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.10-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.10-py3-none-any.whl", "filehash": "4012fae26986462745f0c73147f142f089f39541e48486847c5f15715762802a", "filesize": 423692, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.9.9": {"released": "2025-04-14 04:51:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.9-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.9-py3-none-any.whl", "filehash": "ad36fed22944e157e25a2d09a32c32cc1b7cced9bab64fa920d024b572489e72", "filesize": 423680, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.9.8": {"released": "2025-04-14 04:06:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.8-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.8-py3-none-any.whl", "filehash": "a23a0d0efb7e4020618d899b8cfd7791481fd97bf4b1fdda3b3dc7a84189b6bd", "filesize": 419866, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.9.6": {"released": "2025-04-14 02:01:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.6-py3-none-any.whl", "filehash": "61fef52ff823c25d68652056e7cdd721a30f8ba8e228c1a59f3dac21de4556a8", "filesize": 365851, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.9.4": {"released": "2025-04-12 06:11:25", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.4-py3-none-any.whl", "filehash": "ca86cb83dee72934f1e13117f1d9be3c2eef79d1d050e09f681cec19bfd9c282", "filesize": 348331, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.9.3": {"released": "2025-04-11 16:42:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.3-py3-none-any.whl", "filehash": "f4decbd8e7a691c60bf2dbb3c0b353dd03388c7dc3d3452bc4674c436d9d3e92", "filesize": 323840, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.9.2": {"released": "2025-04-11 07:17:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.2-py3-none-any.whl", "filehash": "b46f7475827efdf5784e482363cc347a201370737e18c0dd966e2a0d26da0046", "filesize": 321723, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.9.1": {"released": "2025-04-11 06:53:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.9.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.9.1-py3-none-any.whl", "filehash": "df2cd900d8857f1d3b35103548aaa6767e03a7cf4f3b9cd99909a8e511101f1d", "filesize": 321558, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.39": {"released": "2025-04-11 06:47:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.39-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.39-py3-none-any.whl", "filehash": "2118011569533e6218adf86ce873b90bd70eda945fd720b3e34bbd559b4dafb8", "filesize": 321543, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.38": {"released": "2025-04-11 06:41:29", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.38-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.38-py3-none-any.whl", "filehash": "7a972898d2313c9e8461887af1138460a2cc0da423650153c176e96fc2d54ddb", "filesize": 320955, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.35": {"released": "2025-04-11 06:01:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.35-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.35-py3-none-any.whl", "filehash": "34c28604b08227e1dff215b9238da5afeefe69ca94a3aee826348a10d4484ee5", "filesize": 322860, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["ipywidgets", "matplotlib", "networkx", "z3-solver"]}}}, "0.8.32": {"released": "2025-04-11 05:48:29", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.32-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.32-py3-none-any.whl", "filehash": "2bd23683cccec135303f88993f7c1c8c74cf0a9a2e5dec03e79c36c6c2a688cd", "filesize": 176695, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["ipywidgets", "matplotlib", "networkx", "z3-solver"]}}}, "0.8.31": {"released": "2025-04-11 05:10:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.31-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.31-py3-none-any.whl", "filehash": "d9cc6084657a597374b53f84985db1efcb13a1ec15ca00e708f0ca711281fc22", "filesize": 174715, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["ipywidgets", "matplotlib", "networkx", "z3-solver"]}}}, "0.8.30": {"released": "2025-04-11 04:28:58", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.30-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.30-py3-none-any.whl", "filehash": "26ae14ddae036a48d66b17910dc8785cc8e81bc686f30d3dc14f129ce25423c7", "filesize": 173879, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["ipywidgets", "matplotlib", "networkx", "z3-solver"]}}}, "0.8.29": {"released": "2025-04-11 04:21:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.29-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.29-py3-none-any.whl", "filehash": "e321a2210dde81d866a98e0379eb59fe70ea97ba1deaad9c577535284eceea4c", "filesize": 173749, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["ipywidgets", "matplotlib", "networkx", "z3-solver"]}}}, "0.8.28": {"released": "2025-04-14 16:30:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.28-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.28-py3-none-any.whl", "filehash": "550cf3d56a516dae6cc30289a31d84eeb8c37d1434fb27ef68682d3184e5b890", "filesize": 158919, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["ipywidgets", "matplotlib", "networkx", "z3-solver"]}}}, "0.8.27": {"released": "2025-04-11 03:51:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.27-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.27-py3-none-any.whl", "filehash": "a41ab9914ced83184183b5db99ccfe49e03ccbcb36cdd5cea6bcd97531018fba", "filesize": 173173, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["ipywidgets", "matplotlib", "networkx", "z3-solver"]}}}, "0.8.25": {"released": "2025-04-07 06:16:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.25-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.25-py3-none-any.whl", "filehash": "df65513a10e72bac83f324fa40c94d53af91e686ca7a4c5a659e790886588269", "filesize": 117555, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.24": {"released": "2025-04-07 05:58:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.24-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.24-py3-none-any.whl", "filehash": "a02f90f4793ec6c7959a7a7c6b4425687b3a70c06c291ea417a05f61283a0f71", "filesize": 115671, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.23": {"released": "2025-04-07 05:40:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.23-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.23-py3-none-any.whl", "filehash": "35cd4c4bfc32b68dde098849c1491eca215d8936645c913ca06cf0567859a89c", "filesize": 117349, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.22": {"released": "2025-04-07 03:05:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.22-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.22-py3-none-any.whl", "filehash": "462015f54b6bf6f50e8bf0553a4a5067371479134cd9cff49e5be2da79401844", "filesize": 115245, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.21": {"released": "2025-04-07 03:01:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.21-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.21-py3-none-any.whl", "filehash": "55760cbfeb2291e5e7e67d1c83c0ce906b2e0eba34017369fcb6352b2ab919b9", "filesize": 115227, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.20": {"released": "2025-04-05 14:48:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.20-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.20-py3-none-any.whl", "filehash": "9d0fe42ae9074f5e9d5ef986979bd23cac1f6851229313fb65f68c2fdd1e7dd8", "filesize": 115062, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.19": {"released": "2025-04-05 05:15:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.19-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.19-py3-none-any.whl", "filehash": "a9b94279da16e4724e577f355b47b1fd750c672ce2f06394eed237d1f46863c1", "filesize": 115063, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.18": {"released": "2025-04-05 04:47:09", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.18-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.18-py3-none-any.whl", "filehash": "9a63a0624f93d0c877993fb38305fb15341f7e5f0afd5d5927be22967c2a245a", "filesize": 114727, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.14": {"released": "2025-04-04 02:15:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.14-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.14-py3-none-any.whl", "filehash": "6af1774211e084a9a3f8eab2a8b8e0e41c753e16a2322eb8ebddada17ace32a0", "filesize": 114657, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.13": {"released": "2025-04-02 16:24:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.13-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.13-py3-none-any.whl", "filehash": "fd1fe22393a30cbc450e580210126aeada4ef1c2afdd0d1f16c513575f2c6671", "filesize": 114645, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.12": {"released": "2025-04-02 05:41:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.12-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.12-py3-none-any.whl", "filehash": "8f7a8c66d870c37854ad8188d5dd31fced25ef07ea17401450f46f6040cfa8b7", "filesize": 113908, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.9": {"released": "2025-04-01 18:03:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.9-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.9-py3-none-any.whl", "filehash": "fea33a948af8172b35feeba90c71fe05f6b210bbe3ee68a4d803b206b83960a5", "filesize": 87581, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.8": {"released": "2025-03-12 18:25:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.8-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.8-py3-none-any.whl", "filehash": "858a86a4d6025adcdeef2c0279c2790a859913c9ce00f66bd6e7274bb28e7f7e", "filesize": 82830, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.7": {"released": "2025-03-12 17:54:09", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.7-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.7-py3-none-any.whl", "filehash": "2d77c65e177b20d2c5bf6bedb62e5158af51c4fefe308c14aa203c9074574041", "filesize": 82869, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.6": {"released": "2025-02-28 18:35:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.6-py3-none-any.whl", "filehash": "6d8be73ed8564e6d7301683153c3533dc961caf1c3f5f4f5499b3a39dbf1dfe8", "filesize": 79546, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.5": {"released": "2025-02-26 02:46:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.5-py3-none-any.whl", "filehash": "976b433b543268ffe1a6c1ed456641cc169f1bfe07ebdc8990f6a49486b9dcde", "filesize": 77654, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.4": {"released": "2025-02-25 05:20:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.4-py3-none-any.whl", "filehash": "55e40d0027dd65ea7492a9e46cdd341128df57f34f5e027c53f03c480c5e2764", "filesize": 79651, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.3": {"released": "2025-02-25 04:55:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.3-py3-none-any.whl", "filehash": "bf2d0c59366fbea71bee9df30ad188980277bedf4ddeeba45065d6cacc55c7cf", "filesize": 79245, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.2": {"released": "2025-02-15 06:22:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.2-py3-none-any.whl", "filehash": "138eb17f9bf26c22fdf481288e470d0fda7c4627cf2083c5e8e2d878eb3a6d7e", "filesize": 69026, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.8.1": {"released": "2025-02-15 06:06:35", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.8.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.8.1-py3-none-any.whl", "filehash": "1e948ffbb877f1eddf8f8015eba43a682ff2631c215e6ad3b10d5ba3282229ba", "filesize": 69179, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.7.18": {"released": "2025-02-15 06:00:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.7.18-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.7.18-py3-none-any.whl", "filehash": "0d19139cb1f494078da9aff436435932c0c2c0f711d35415e8913956c33cdd90", "filesize": 69200, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["tqdm", "z3-solver"]}}}, "0.7.17": {"released": "2025-01-23 22:37:30", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.7.17-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.7.17-py3-none-any.whl", "filehash": "65e081d5a31aed34b912337817bb7a9947aad3ce60e69ea8d150eaea4805c852", "filesize": 66760, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.7.16": {"released": "2025-01-23 22:32:17", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.7.16-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.7.16-py3-none-any.whl", "filehash": "c16c71a4c688ab61840c8baf82016319e98f93bf2b7a2405fcec2072aef9e1f6", "filesize": 66763, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.7.15": {"released": "2025-01-22 17:42:29", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.7.15-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.7.15-py3-none-any.whl", "filehash": "ab93cbe2fc53347684221dea7d0da533ef3ec5afccaff82ee4d14c12261287d0", "filesize": 66262, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.7.14": {"released": "2025-01-22 02:27:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.7.14-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.7.14-py3-none-any.whl", "filehash": "6e7276f92b7df4ef443ee05c077b35cc1552952cd5d51905a3a90ac389cc7371", "filesize": 65988, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.7.13": {"released": "2025-01-22 02:17:09", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.7.13-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.7.13-py3-none-any.whl", "filehash": "bfb8654ae3025587abfe1afe02a0859abeb684208b0f4ac4fba319bbec7e584b", "filesize": 66084, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.7.12": {"released": "2025-01-22 02:10:24", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.7.12-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.7.12-py3-none-any.whl", "filehash": "2ba5ded50c1a7e7f3837b2e19e282299dc68d24269ea8553858a16504b0b5a21", "filesize": 66234, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.7.11": {"released": "2025-01-22 01:55:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.7.11-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.7.11-py3-none-any.whl", "filehash": "0311a95dcc2e1371a32de6d14933728c34641362a01a612fd32741ebdfde7cbd", "filesize": 66300, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.7.10": {"released": "2025-01-21 16:24:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.7.10-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.7.10-py3-none-any.whl", "filehash": "7d76ca76a5df29228e090050cc6bbb6a26e77b245c28daa0d919a5d847f70f6d", "filesize": 60637, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.7.9": {"released": "2025-01-21 05:48:35", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.7.9-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.7.9-py3-none-any.whl", "filehash": "0e7b8bfacd679ba280718165e4d67d3bd155eb9a83d2a05325a2ea3d9835f986", "filesize": 60165, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.7.8": {"released": "2025-01-21 05:37:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.7.8-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.7.8-py3-none-any.whl", "filehash": "f9ea89dcbaa8e130d8e0433f76a4685e47b970752f447a67a4f438d4b9671848", "filesize": 60162, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.7.7": {"released": "2025-01-21 05:30:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.7.7-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.7.7-py3-none-any.whl", "filehash": "1f21b57086b590a7873145c4dd257b1f2ac0f876a1ece165d6c4d2c8d91cabdb", "filesize": 60158, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.7.6": {"released": "2025-01-21 05:22:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.7.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.7.6-py3-none-any.whl", "filehash": "2f7b5816caa1c95eebf8f1ddaea4bef9d510fe56653ab3a0e927d87e4fbf5e13", "filesize": 60026, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.7.5": {"released": "2025-01-21 05:21:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.7.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.7.5-py3-none-any.whl", "filehash": "83db439701ce63d8ee4e816cb36dd8bf119e35c4685805ce22945a8d8b87de5e", "filesize": 60025, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.7.4": {"released": "2025-01-21 02:04:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.7.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.7.4-py3-none-any.whl", "filehash": "2dad9beadf319a1b7ade001c2d085d99310da354e36d0a106eb2ecad5b86a758", "filesize": 57906, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.7.3": {"released": "2025-01-14 03:45:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.7.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.7.3-py3-none-any.whl", "filehash": "5806326e633e31d6d495f36f51ad28a0e6a800f22cd324c0d54b59fc2f41c979", "filesize": 56902, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.7.2": {"released": "2025-01-14 03:34:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.7.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.7.2-py3-none-any.whl", "filehash": "ac61ef9570a16dea874a5cbff412ca3e9726d8cf79b47357a30507240aa638c0", "filesize": 56847, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.7.1": {"released": "2025-01-07 20:46:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.7.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.7.1-py3-none-any.whl", "filehash": "98e644c22548b7c3521bca4cc94961d9d8ea34045c33cf94c91a1d06de79cc75", "filesize": 56055, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.6.17": {"released": "2025-01-07 20:44:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.6.17-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.6.17-py3-none-any.whl", "filehash": "bd3c9d4f1badf66e95ff48efdb454d68b85f1b349078b5e42aaea35085324366", "filesize": 56069, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.6.16": {"released": "2025-01-07 20:04:17", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.6.16-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.6.16-py3-none-any.whl", "filehash": "588c5415d3363289ddb3958a9b5538e01f4e1c24eaffbbac30c10a5cf03815ae", "filesize": 56280, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.6.15": {"released": "2025-01-07 19:33:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.6.15-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.6.15-py3-none-any.whl", "filehash": "ff6d4b9dc7d53d98b14e80e7b90b379e197199cf2b0abb7ef27859175139ff42", "filesize": 55993, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.6.14": {"released": "2025-01-07 19:12:35", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.6.14-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.6.14-py3-none-any.whl", "filehash": "ffd1f02b8138bed3f0fd3bc98493618a8c8867cc11719e0bdc52db1cd7b61125", "filesize": 55869, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.6.13": {"released": "2025-01-07 07:49:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.6.13-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.6.13-py3-none-any.whl", "filehash": "b05ff962087a3b6802f2160b3ad7ae5245e47d7338742500654f1d608abfac05", "filesize": 53997, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.6.12": {"released": "2025-01-06 22:49:56", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.6.12-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.6.12-py3-none-any.whl", "filehash": "37a98486843c1c8c56adef3303acff4119fedbe4d3f4b15f449945929b8fcae2", "filesize": 53427, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.6.11": {"released": "2025-01-06 07:03:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.6.11-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.6.11-py3-none-any.whl", "filehash": "dffe2bbfda58a4e2bcd84661fa5b307e6887e4d833e0c7801fffb3ea6c0abd5d", "filesize": 51846, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.6.10": {"released": "2025-01-04 00:00:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.6.10-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.6.10-py3-none-any.whl", "filehash": "2547500551149b54224778c9623890f5394e2810af271188e17b113f4be8fd21", "filesize": 51599, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.6.9": {"released": "2024-12-31 22:16:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.6.9-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.6.9-py3-none-any.whl", "filehash": "4edfec01ee87b7f77226eb62f7508e5562bae8bb1712fd903bee038b7fa2a77c", "filesize": 52443, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.6.8": {"released": "2024-12-31 01:19:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.6.8-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.6.8-py3-none-any.whl", "filehash": "4813a0f3dc51dcaa897f6ccf74804e56910b200a2fc7700b9d7aa3997ca31174", "filesize": 52795, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.6.7": {"released": "2024-12-27 00:59:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.6.7-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.6.7-py3-none-any.whl", "filehash": "db50ee472cf88eff5acdeee904ded22504cf3851adfb036588f31cda6265f7c0", "filesize": 52437, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.6.6": {"released": "2024-12-25 22:31:30", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.6.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.6.6-py3-none-any.whl", "filehash": "4e14e6e4f05f7633906bf36221942f4b43572077c085a52daf00f9e1e7b45770", "filesize": 52531, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.6.5": {"released": "2024-12-25 22:27:09", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.6.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.6.5-py3-none-any.whl", "filehash": "50214c78218706cbadae25dc131d88b8fe3cd0eb874c0dd075ff2a817bc99856", "filesize": 52497, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.6.4": {"released": "2024-12-25 22:19:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.6.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.6.4-py3-none-any.whl", "filehash": "c14e7d3b5ec3900f8ce20ac1d2db3466f838ee0b1db6581f2b60726597958e1a", "filesize": 52413, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.6.3": {"released": "2024-12-25 22:08:53", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.6.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.6.3-py3-none-any.whl", "filehash": "8e81b9d8440611ac20756439b32cdbbb07b96ba0ec8a305ce0583aa871fcafab", "filesize": 52412, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.6.2": {"released": "2024-12-25 03:05:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.6.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.6.2-py3-none-any.whl", "filehash": "3ba169f4ffef73b2bfa9a9b3bcfcc989aafe551eaec592761147175967238a64", "filesize": 52381, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.6.1": {"released": "2024-12-25 01:33:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.6.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.6.1-py3-none-any.whl", "filehash": "85371cba3022edd998ee24fda763832fe49a29fc25ae2a0e01f86a5c48230e35", "filesize": 52375, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.5.6": {"released": "2024-07-30 18:57:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.5.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.5.6-py3-none-any.whl", "filehash": "26de4b33a3615d9a9dee4d761d9d82277432b16c41d2018185c609f6175b6f69", "filesize": 35975, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["tqdm", "z3-solver"]}}}, "0.5.5": {"released": "2024-07-29 14:44:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.5.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.5.5-py3-none-any.whl", "filehash": "c20420bb92565427163fd38ac4f6dd41d87aa47da50dccf59cb005da6a28b368", "filesize": 34563, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.5.4": {"released": "2024-07-25 17:02:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.5.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.5.4-py3-none-any.whl", "filehash": "5351b7eb48123b65b7d0435da841566f78b327840211c327a106af9740d78d67", "filesize": 34528, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.5.3": {"released": "2024-07-20 16:11:35", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.5.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.5.3-py3-none-any.whl", "filehash": "51ac4f78c5fca147a4ed054d89a037792e2039e365d926e08b021741e297e2f2", "filesize": 33634, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.5.2": {"released": "2024-07-19 15:42:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.5.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.5.2-py3-none-any.whl", "filehash": "c7a2767a4ca9f756747c3c2c832fcd19e74bf033f108d643fa729fdfbd2e5873", "filesize": 33423, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.5.1": {"released": "2024-07-19 15:34:12", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.5.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.5.1-py3-none-any.whl", "filehash": "1d10a892c844308c7176dbd6bfc18bf92a6ed441b03b28fc0d0367e0c1295722", "filesize": 33419, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.4.15": {"released": "2024-07-19 15:30:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.4.15-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.4.15-py3-none-any.whl", "filehash": "50345bec9a763b4bd6b686914a633b1caba6a7e2ae361dfb168482d1a6f585ba", "filesize": 33436, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.4.14": {"released": "2024-07-18 22:00:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.4.14-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.4.14-py3-none-any.whl", "filehash": "09289a58e9b06a4256be7b2576cfb5b412dc151538c93b6fd7abf1f1b07b3515", "filesize": 33088, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.4.13": {"released": "2024-07-17 22:05:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.4.13-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.4.13-py3-none-any.whl", "filehash": "c97652a072a8cfb2c23545b2a39ed6e7a62d534aba600e8831139da31a1d2540", "filesize": 32610, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.4.12": {"released": "2024-07-15 17:18:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.4.12-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.4.12-py3-none-any.whl", "filehash": "a61242b8b122a19f007edb83f781e8fb030e50e22d3693a872ff09160cff7fb9", "filesize": 32213, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.4.11": {"released": "2024-07-15 17:17:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.4.11-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.4.11-py3-none-any.whl", "filehash": "a01eb0cb9a6e6f37a33881c6c7182e03f51721542211d02141176467c27452ea", "filesize": 32220, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.4.10": {"released": "2024-07-15 16:54:00", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.4.10-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.4.10-py3-none-any.whl", "filehash": "fbc8427feb6f3665db344c351f3d7b337488647aa14e97273d48ab67b5f0d7c2", "filesize": 32199, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.4.9": {"released": "2024-06-10 17:03:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.4.9-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.4.9-py3-none-any.whl", "filehash": "5561ef99a5ac6b592b2fe5c289ed88e747d21573152f0b1e53f1bb2307d113fb", "filesize": 32186, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.4.8": {"released": "2024-06-07 16:16:25", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.4.8-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.4.8-py3-none-any.whl", "filehash": "822bc6be820386efaccf62aa68fef3043775977d21496b50d6c690aa8558d9d0", "filesize": 31926, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.4.7": {"released": "2024-06-07 16:11:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.4.7-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.4.7-py3-none-any.whl", "filehash": "c5f36bceade224634e87b5e20f9da6adc1687a3aebe954429c5f74cee37f01fa", "filesize": 31908, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.4.6": {"released": "2024-05-31 19:33:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.4.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.4.6-py3-none-any.whl", "filehash": "97fdb9bf35ac98ae412bb317afa7c37a8688e119375eadd26034dbd0d08c1f55", "filesize": 31944, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.4.5": {"released": "2024-05-28 17:34:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.4.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.4.5-py3-none-any.whl", "filehash": "2a7fe9f4e9ae071bfbfe82a31a0481283338d3b1a34e328ebe94d58183f124c8", "filesize": 31118, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.4.4": {"released": "2024-05-24 20:33:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.4.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.4.4-py3-none-any.whl", "filehash": "09d3b0e4f3f011c43277aa7571add992060be205cdc84f339e2afb6094386ea1", "filesize": 29538, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.4.3": {"released": "2024-05-24 20:07:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.4.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.4.3-py3-none-any.whl", "filehash": "7937d08776b7a74d6f94f76055227b345b8a52e7ac28100d0bec687f63a7c40a", "filesize": 29537, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.4.2": {"released": "2024-05-23 21:29:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.4.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.4.2-py3-none-any.whl", "filehash": "488ebf7e3754d4f600c81838d1e80002e22c5fc664539b306121fe69c3d3d8d4", "filesize": 29145, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.4.1": {"released": "2024-05-23 21:05:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.4.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.4.1-py3-none-any.whl", "filehash": "30ee5e367fcbbe5691124fa400f7ecd06b8507a085cf6ca52e1d5cc9005826ac", "filesize": 28979, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.24": {"released": "2024-05-23 19:25:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.24-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.24-py3-none-any.whl", "filehash": "7827654d226fb9ecc47ea532ff3f08e6c9c821b27935825302ce6de682fb0b2f", "filesize": 28877, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.23": {"released": "2024-05-23 06:52:35", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.23-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.23-py3-none-any.whl", "filehash": "43d1b7f605c8ddc8d9fce84b9d5307813f66f5df9193d2d848989431d633bf70", "filesize": 28156, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.22": {"released": "2024-05-23 00:34:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.22-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.22-py3-none-any.whl", "filehash": "222480a55922faa51e5b37ffd21bd44cede984257d1197c2c4ac23fc39a565ba", "filesize": 26878, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.21": {"released": "2024-05-21 18:12:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.21-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.21-py3-none-any.whl", "filehash": "a6d41f48b6062e7f75cd9056b2e8f9be0efcccb3bdc9664eb1433cf08670c7ed", "filesize": 26755, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.20": {"released": "2024-05-21 18:02:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.20-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.20-py3-none-any.whl", "filehash": "ba8bc9fc84bb66d5ca4e891fea351ef9ef60e5074f2626a2baa95fac4c95022c", "filesize": 26654, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.19": {"released": "2024-05-21 18:01:46", "prerelease": false, "yanked": false, "skip_reason": "binary only", "files": {}}, "0.3.18": {"released": "2024-05-21 17:54:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.18-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.18-py3-none-any.whl", "filehash": "821c2a011cb7808f3494e641801631dc66e1ecaee688b46b8bee5118730f5178", "filesize": 26651, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.17": {"released": "2024-05-21 17:47:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.17-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.17-py3-none-any.whl", "filehash": "5129e4e1ea0075ff358998116384ed3657721b4709c3c51c65605da16564c2dd", "filesize": 26649, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.16": {"released": "2024-05-21 17:36:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.16-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.16-py3-none-any.whl", "filehash": "404e98e9d49f29299b3305c10b2357669d01e725ce50b30b731b7ba73993e307", "filesize": 26539, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.15": {"released": "2024-05-21 17:09:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.15-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.15-py3-none-any.whl", "filehash": "281323729b98f8168ce257c1731d2c537833b0266c558a28c8cd067c442a1a58", "filesize": 26516, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.14": {"released": "2024-05-21 16:38:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.14-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.14-py3-none-any.whl", "filehash": "816ebfd7115f6f7f4ffc4cb2e31507b806e285abe363ec1f2819ac4b0a646832", "filesize": 26404, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.13": {"released": "2024-05-21 03:46:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.13-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.13-py3-none-any.whl", "filehash": "9fbd6d1b5f01de58914d24e2dd856adb7e7266eaceb37c66d204a0472e95be1f", "filesize": 25995, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.12": {"released": "2024-05-20 22:33:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.12-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.12-py3-none-any.whl", "filehash": "615df558c284dc6d97bd15cd2a65805a7fea90e88504f055b05792157d358aa6", "filesize": 26007, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.11": {"released": "2024-05-20 22:26:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.11-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.11-py3-none-any.whl", "filehash": "7d2ec6465ce3534c9a373086e8a27b281dbff76d5f21daae673008b1d6099ae8", "filesize": 25995, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.10": {"released": "2024-05-20 21:38:13", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.10-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.10-py3-none-any.whl", "filehash": "c40bdd3d7c83ce76b26082794748b01a0cf8cadf2ba0adbaf13d9496f1e91443", "filesize": 25919, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.9": {"released": "2024-05-20 21:36:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.9-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.9-py3-none-any.whl", "filehash": "7c5faebaf52a21fc1963f60565928c9436392456206f666d8277252efcab59ee", "filesize": 25905, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.8": {"released": "2024-05-20 21:30:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.8-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.8-py3-none-any.whl", "filehash": "e5f24b0b4537eff4f3742c1b7cd2c368f15f1fb63cebcb0fd39928fef9fdfd48", "filesize": 25993, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.7": {"released": "2024-05-20 21:27:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.7-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.7-py3-none-any.whl", "filehash": "cf7e235a36d9d7eecccfc54c092bd7c4e5b827f9812f96cff20a6d8507a45762", "filesize": 25999, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.6": {"released": "2024-05-20 19:57:27", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.6-py3-none-any.whl", "filehash": "48341c12e3428e1486adcda688c0780279521881403d35b75bd9fb8915c3fbae", "filesize": 27681, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.5": {"released": "2024-05-18 15:35:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.5-py3-none-any.whl", "filehash": "10e82b0f7b37fd59c8a3ea8ccb33c7961f0d811d2225752ce305fbddcc037077", "filesize": 27865, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.4": {"released": "2024-05-18 15:31:25", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.4-py3-none-any.whl", "filehash": "58db59a2985e673728fb35c6bceb0e4cf20c24974c01bb3fe8f7bc180eb5d0eb", "filesize": 27855, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.3": {"released": "2024-05-18 15:09:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.3-py3-none-any.whl", "filehash": "9fae2dd8b54d29bcc18d9a0c9abee8c1920869403499d88714f7def752b185dd", "filesize": 27852, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.3.2": {"released": "2024-05-18 15:07:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.3.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.3.2-py3-none-any.whl", "filehash": "1cd36c16f617d6aa126458c721a62f67c14bc20a80bd2025179f01f16792c6fa", "filesize": 27852, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.21": {"released": "2024-05-12 17:21:25", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.21-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.21-py3-none-any.whl", "filehash": "78e378f72cc654d3e46b62024d56aaa87f15f551a578e7b6633b96c1322cadd3", "filesize": 27872, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.20": {"released": "2024-05-11 15:49:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.20-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.20-py3-none-any.whl", "filehash": "7171b8bd873471469bf13d01cbaceac4ee8bcf66a86a5b91e3ce91b328e0e25c", "filesize": 25098, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.19": {"released": "2024-05-10 18:37:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.19-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.19-py3-none-any.whl", "filehash": "f88c3aefabda4b7b573291d18df96df1c530aedf8345b04b004765a1ee9c3e05", "filesize": 24950, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.18": {"released": "2024-05-10 18:33:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.18-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.18-py3-none-any.whl", "filehash": "cf0fb8b5727756e46932f8351320ed0dc7224634ee6622e28c027520eef0c024", "filesize": 24948, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.17": {"released": "2024-05-09 21:10:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.17-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.17-py3-none-any.whl", "filehash": "7e40a2f6e5f157f26b822f029b7c0c4c74031990f64bf88024ed3e79f1b5c9be", "filesize": 25975, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.16": {"released": "2024-05-07 14:18:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.16-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.16-py3-none-any.whl", "filehash": "aca47412497dd2fce7e2a9510e3175bd371c447e3aad215b6f2fcc21f7babfc2", "filesize": 25238, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.15": {"released": "2024-05-07 00:18:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.15-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.15-py3-none-any.whl", "filehash": "51cb2aed13bee103aa697149fcfd1501845607ddff2beb5617ea65546bd9b315", "filesize": 24694, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.14": {"released": "2024-05-06 23:40:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.14-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.14-py3-none-any.whl", "filehash": "48c0433bd1274ec1040df4ec6a4b604eb2a289d369be9c6b4edbe6ac3763cb85", "filesize": 24342, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.13": {"released": "2024-05-06 23:20:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.13-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.13-py3-none-any.whl", "filehash": "fd77e3ec2ff5784a08007f5b7613ec963325825e6499513edea9c4e50fe3e485", "filesize": 24332, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.12": {"released": "2024-05-06 23:15:18", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.12-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.12-py3-none-any.whl", "filehash": "706be16175e1e3c9a8c9a1a0e38a315e2f65a5f94f648051ab7df8da6a467e46", "filesize": 24325, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.11": {"released": "2024-05-06 22:49:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.11-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.11-py3-none-any.whl", "filehash": "e32e2b23c4a3740df0cd39006fab2a901628090558ede1efb4ca2429f729a1bf", "filesize": 24349, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.10": {"released": "2024-05-06 22:37:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.10-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.10-py3-none-any.whl", "filehash": "0745dbfb781a4904ebf7837959c043cdca39873e98b83e307aa970ceed5fe0ef", "filesize": 24344, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.9": {"released": "2024-05-06 22:33:18", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.9-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.9-py3-none-any.whl", "filehash": "87cb95866b03c7defd2aa90c85df754d74151590040e44805610031f1c65ddc3", "filesize": 24380, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.8": {"released": "2024-05-06 22:12:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.8-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.8-py3-none-any.whl", "filehash": "b9b0a7f060876f32a085252891b14af68fa701066167d3b1a46ecb414eeca0aa", "filesize": 24265, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.7": {"released": "2024-05-06 21:02:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.7-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.7-py3-none-any.whl", "filehash": "c9d867953b0451622d2e4bd5feded5557dac184d2322598a9e56ec5e74aa2291", "filesize": 24484, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.6": {"released": "2024-05-06 20:48:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.6-py3-none-any.whl", "filehash": "faa91df46c62c91c38ef2c762371ad13f45dafd5b9bef200962497b9a8a5c45b", "filesize": 24482, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.5": {"released": "2024-05-06 20:00:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.5-py3-none-any.whl", "filehash": "909a924602289fd1ae2e6ed694008b6fba6c1f09ccaecbc0c85df9422820a001", "filesize": 25590, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.4": {"released": "2024-05-06 19:46:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.4-py3-none-any.whl", "filehash": "a98e7bdc827837f3f413270a6ebaf97cef7742971cdbd68a46707e2e5b1c8dd4", "filesize": 25309, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.3": {"released": "2024-05-06 19:26:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.3-py3-none-any.whl", "filehash": "dff5adda210f8d4acc8b6c40da21f2a9193854f61f47f416ddab36e245c2ff2d", "filesize": 27246, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.2": {"released": "2024-05-06 19:24:47", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.2-py3-none-any.whl", "filehash": "2591a72f85c175c44a1877b6d48b4edb4e9407c05845fd33c911e76a99c0572b", "filesize": 27247, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.1": {"released": "2024-05-06 19:21:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.1-py3-none-any.whl", "filehash": "1d5ce6b83a941f62551a992b77c2f391020cc4c5b121cb8ed4cf065dc1b7304b", "filesize": 27245, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.2.0": {"released": "2024-05-06 18:45:35", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.2.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.2.0-py3-none-any.whl", "filehash": "8edd01351aa1950cd895de352fc1d4d9306ca133ac4a64b4b28e948bc99af0d8", "filesize": 27248, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.1": {"released": "2024-04-26 21:14:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"model_checker-0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/model-checker/model_checker-0.1-py3-none-any.whl", "filehash": "8bcf2a717e6e1d2201397d02f47d7ec9e7e43c216037fd828ea18a966f0bf58a", "filesize": 18931, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}}}