{"name":"z3","vers":"0.1.0","deps":[{"name":"env_logger","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"~0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ab85fa46870a4956bd164abc8b14121061a09444755ba340b21fd64b93ae3762","features":{},"yanked":false,"pubtime":"2015-12-28T06:23:56Z"}
{"name":"z3","vers":"0.2.0","deps":[{"name":"env_logger","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"~0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"~0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"993a7ed2f7eeb1b9fcb73abb38ba91e80ea66846d8757f6596262cf7bbd31bb0","features":{},"yanked":false,"pubtime":"2016-01-03T08:39:14Z"}
{"name":"z3","vers":"0.3.0","deps":[{"name":"env_logger","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lazy_static","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3056615813ab04902140b3755dc73c0851967cef332f5d4d9c5b67251da9d6ec","features":{},"yanked":false,"pubtime":"2018-12-06T16:59:33Z"}
{"name":"z3","vers":"0.3.1","deps":[{"name":"env_logger","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lazy_static","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"306880ff997d067faa88b4ef9987a16ad79f9161a5e329ee3e64e830ef515c7f","features":{},"yanked":false,"pubtime":"2018-12-31T09:56:50Z"}
{"name":"z3","vers":"0.3.2","deps":[{"name":"env_logger","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lazy_static","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"64b756784ad9666b8128c486d6f3eee4d9f7627d8af54ff4502d178811648f09","features":{},"yanked":false,"pubtime":"2019-01-07T01:35:18Z"}
{"name":"z3","vers":"0.4.0","deps":[{"name":"env_logger","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lazy_static","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fe5e9b2a58f7914e3109e7138c42a1718e6857a3bbba0588c6ad1c30d6d4fc5f","features":{"arbitrary-size-numeral":["num"],"default":[]},"yanked":false,"pubtime":"2019-08-29T11:18:24Z"}
{"name":"z3","vers":"0.5.0","deps":[{"name":"env_logger","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lazy_static","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"afd636f549e919f8058567000156e19efbb4728ddb3be226dcc332d0ff622ab5","features":{"arbitrary-size-numeral":["num"],"default":[],"static-link-z3":["z3-sys/static-link-z3"]},"yanked":false,"pubtime":"2020-05-01T18:34:53Z"}
{"name":"z3","vers":"0.5.1","deps":[{"name":"env_logger","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lazy_static","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ded00cd90f8e3a7ea3155bddd72573f2b099ea201877542d924e47b58dd04e72","features":{"arbitrary-size-numeral":["num"],"default":[],"static-link-z3":["z3-sys/static-link-z3"]},"yanked":false,"pubtime":"2020-05-12T19:20:17Z"}
{"name":"z3","vers":"0.6.0","deps":[{"name":"env_logger","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lazy_static","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.6.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f0354c65dfe00e08c4ab30581732906874f97156f424bfb390cf0cca2cb6ac29","features":{"arbitrary-size-numeral":["num"],"default":[],"static-link-z3":["z3-sys/static-link-z3"]},"yanked":false,"pubtime":"2020-06-29T17:27:57Z"}
{"name":"z3","vers":"0.7.0","deps":[{"name":"env_logger","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lazy_static","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.6.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"dbb8ef9d11f50b64327c8a5906b53d3f7f792cb0e849909d476ac0aa16117d61","features":{"arbitrary-size-numeral":["num"],"default":[],"static-link-z3":["z3-sys/static-link-z3"]},"yanked":false,"pubtime":"2020-10-29T16:48:14Z"}
{"name":"z3","vers":"0.7.1","deps":[{"name":"env_logger","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lazy_static","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.6.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"aa17be9852c6c2a8de2ea0875350dc5f8626f3eaa6b683148753b827f1b39ce5","features":{"arbitrary-size-numeral":["num"],"default":[],"static-link-z3":["z3-sys/static-link-z3"]},"yanked":false,"pubtime":"2020-11-02T18:50:20Z"}
{"name":"z3","vers":"0.8.0","deps":[{"name":"env_logger","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lazy_static","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.6.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6e6bbc6c1037d0c3b4602545427dce885c96ee4888ec8f5c92b48e6a8feee47e","features":{"arbitrary-size-numeral":["num"],"default":[],"static-link-z3":["z3-sys/static-link-z3"]},"yanked":false,"pubtime":"2020-12-03T18:24:18Z"}
{"name":"z3","vers":"0.9.0","deps":[{"name":"env_logger","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lazy_static","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.6.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0c5bdc8c9e19d1b983c5584cd4baf6fbd71f3ca5c83283b9d46ad7780d67bd3b","features":{"arbitrary-size-numeral":["num"],"default":[],"static-link-z3":["z3-sys/static-link-z3"]},"yanked":false,"pubtime":"2020-12-03T21:09:02Z"}
{"name":"z3","vers":"0.10.0","deps":[{"name":"env_logger","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lazy_static","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.6.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"05b1c80cd890d936ecafd439e757113a397f5797b12232b29c443256dd02c07b","features":{"arbitrary-size-numeral":["num"],"default":[],"static-link-z3":["z3-sys/static-link-z3"]},"yanked":false,"pubtime":"2021-03-23T14:54:41Z"}
{"name":"z3","vers":"0.11.0","deps":[{"name":"env_logger","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lazy_static","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.6.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9b0fb454561421259678f07d6a9f23b289b8496ebbac3cbe67603e4e99c982ec","features":{"arbitrary-size-numeral":["num"],"default":[],"static-link-z3":["z3-sys/static-link-z3"]},"yanked":false,"pubtime":"2021-07-08T23:07:49Z"}
{"name":"z3","vers":"0.11.1","deps":[{"name":"env_logger","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lazy_static","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"dd59b29ef2cc4e05489fcd8773cae2c3fe2bb99fc98155886e9b2bf950ca592a","features":{"arbitrary-size-numeral":["num"],"default":[],"static-link-z3":["z3-sys/static-link-z3"]},"yanked":false,"pubtime":"2021-07-21T22:49:04Z"}
{"name":"z3","vers":"0.11.2","deps":[{"name":"env_logger","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"lazy_static","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.7.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d25754b4bf4516a65d0e596ea9c1f0082224bdf20823a37fdd9111fa08d5bf48","features":{"arbitrary-size-numeral":["num"],"default":[],"static-link-z3":["z3-sys/static-link-z3"]},"yanked":false,"pubtime":"2021-08-24T22:57:48Z"}
{"name":"z3","vers":"0.12.0","deps":[{"name":"env_logger","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1fdd5cf0f7cd1fe2faaa4912e8939107e0306eb3f0acb9131fbeb8396c8479c8","features":{"arbitrary-size-numeral":["num"],"default":[],"static-link-z3":["z3-sys/static-link-z3"]},"yanked":false,"pubtime":"2023-07-23T17:18:17Z"}
{"name":"z3","vers":"0.12.1","deps":[{"name":"env_logger","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4a7ff5718c079e7b813378d67a5bed32ccc2086f151d6185074a7e24f4a565e8","features":{"arbitrary-size-numeral":["num"],"default":[],"static-link-z3":["z3-sys/static-link-z3"]},"yanked":false,"pubtime":"2023-07-25T07:31:11Z"}
{"name":"z3","vers":"0.13.0","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"02adc182927dd4d19ffb01a5d6867d552a06707716bcf0de57a743a8a3a07bc7","features":{"bundled":["z3-sys/bundled"],"default":[],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"]},"yanked":false,"pubtime":"2025-07-10T12:36:27Z"}
{"name":"z3","vers":"0.13.1","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"57ad217e49e64ff493faa56790b05f3fd6104da296a55b78e0d0c685fe8d5854","features":{"bundled":["z3-sys/bundled"],"default":[],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"]},"yanked":false,"pubtime":"2025-07-11T08:04:26Z"}
{"name":"z3","vers":"0.13.2","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"95974886d1fc9caaa58fd3d5da462f0a626213a7b8c3c9931e4b87338337a6f8","features":{"bundled":["z3-sys/bundled"],"default":[],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"]},"yanked":false,"pubtime":"2025-07-14T18:41:31Z"}
{"name":"z3","vers":"0.13.3","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"11593be221028adbadaa25a9ace764693d059c51d58870b27d8c78582aaa6574","features":{"bundled":["z3-sys/bundled"],"default":[],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"]},"yanked":false,"pubtime":"2025-07-17T09:03:55Z"}
{"name":"z3","vers":"0.14.0","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"591fb74919b262d1dd5fcc5b58ac6dd2824e07e375036b9f9b7ebe9672c7af27","features":{"bundled":["z3-sys/bundled"],"default":[],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-08-06T16:53:53Z"}
{"name":"z3","vers":"0.14.1","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"16b4303594e0b82aae4dee2441abe4b67e11eb5a35c8d15723113baa14dc50a4","features":{"bundled":["z3-sys/bundled"],"default":[],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-08-10T22:34:36Z"}
{"name":"z3","vers":"0.14.2","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ca819a3e5699cf02fe8eb53e7da1d9bdb591dfbfdce99078bdeb8c07b6437e15","features":{"bundled":["z3-sys/bundled"],"default":[],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-08-14T14:04:02Z"}
{"name":"z3","vers":"0.14.3","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7e5493e3104054a170ae4cbfbe11ad12bc5dd74f8adb55c71c3ae42c08bd136b","features":{"bundled":["z3-sys/bundled"],"default":[],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-08-18T08:17:50Z"}
{"name":"z3","vers":"0.14.4","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3767e1ffc46e0fa6dd5ab3be5d9c7a4f54ba3af572f0b14d6f4fc7e7932d798d","features":{"bundled":["z3-sys/bundled"],"default":[],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-08-19T09:09:39Z"}
{"name":"z3","vers":"0.15.0","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a9d0b58a810969653490c751ec03b236a7eb88ccd7e41b715ec12adedb7694f7","features":{"bundled":["z3-sys/bundled"],"default":[],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-08-19T23:46:38Z"}
{"name":"z3","vers":"0.16.0","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.9.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"181ea7f172390a42fa5707929ae89638180eb31941afd7858e4cbe4bf858d1e0","features":{"bundled":["z3-sys/bundled"],"default":[],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-08-21T10:07:07Z"}
{"name":"z3","vers":"0.16.1","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.9.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5ff5b3b0e4d6135c42538d9728c0e409bd78bf87269b4b8b9889c062ca7cb4d8","features":{"bundled":["z3-sys/bundled"],"default":[],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-08-23T21:38:23Z"}
{"name":"z3","vers":"0.16.2","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.9.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"39c595f59bb8d2e0314a5ed34d0c14c262e7af153472cc23eb3d0fd69da3ea6d","features":{"bundled":["z3-sys/bundled"],"default":[],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-08-25T22:20:12Z"}
{"name":"z3","vers":"0.17.0","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.9.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bd6d833648831295ac5ec3f2391a99f377919b1517a17f5566370b9db5402061","features":{"bundled":["z3-sys/bundled"],"default":[],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-03T14:59:11Z"}
{"name":"z3","vers":"0.18.0","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.9.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cfb2cebb737ac7acaa5d462ac51ccd4bd99b3fedb30a3e2fd93c343f3b219645","features":{"bundled":["z3-sys/bundled"],"default":[],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-08T13:10:03Z"}
{"name":"z3","vers":"0.18.1","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.9.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d352dfbef413c28efb5c18b130b6a56b086b0146c8d52e5fba031d6dd01b77f1","features":{"bundled":["z3-sys/bundled"],"default":[],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-09T12:31:13Z"}
{"name":"z3","vers":"0.18.2","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.9.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2e6abe40eee88a065f2bde2f663e0e6aa95552d9124edc96ab291376db19f9a2","features":{"bundled":["z3-sys/bundled"],"default":["z3_4_8_15"],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"],"z3_4_8_13":[],"z3_4_8_14":["z3_4_8_13"],"z3_4_8_15":["z3_4_8_14"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-10T14:19:48Z"}
{"name":"z3","vers":"0.19.0","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c0eece2fee6e60de04b027f861dbde95b9038c0ea3244d68e7a85ca924d12f87","features":{"bundled":["z3-sys/bundled"],"default":["z3_4_8_15"],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"],"z3_4_8_13":[],"z3_4_8_14":["z3_4_8_13"],"z3_4_8_15":["z3_4_8_14"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-26T11:50:53Z"}
{"name":"z3","vers":"0.19.1","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"13a21944964e029e99e0d1d7b554994e86752f96aeed9f5418078bb6f38bd2d0","features":{"bundled":["z3-sys/bundled"],"default":["z3_4_8_15"],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"],"z3_4_8_13":[],"z3_4_8_14":["z3_4_8_13"],"z3_4_8_15":["z3_4_8_14"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-26T18:43:28Z"}
{"name":"z3","vers":"0.19.2","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e256f09d9fe7af37d9d44c56b99d9ce6259fbc38dd2046a2a547c7238a186ed8","features":{"bundled":["z3-sys/bundled"],"default":["z3_4_8_15"],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"],"z3_4_8_13":[],"z3_4_8_14":["z3_4_8_13"],"z3_4_8_15":["z3_4_8_14"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-10-21T13:35:16Z"}
{"name":"z3","vers":"0.19.3","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d6aca7c51679bb0c7abf9dc644eedc965e1eff19e23f881c9e45296526378438","features":{"bundled":["z3-sys/bundled"],"default":["z3_4_8_15"],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"],"z3_4_8_13":[],"z3_4_8_14":["z3_4_8_13"],"z3_4_8_15":["z3_4_8_14"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-11-16T21:27:21Z"}
{"name":"z3","vers":"0.19.4","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ddf5208ec7feff31acf00fe1b7e28caa2e0793bb954e247efa8ebcb3c0cd8c73","features":{"bundled":["z3-sys/bundled"],"default":["z3_4_8_15"],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"],"z3_4_8_13":[],"z3_4_8_14":["z3_4_8_13"],"z3_4_8_15":["z3_4_8_14"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-11-18T00:07:48Z"}
{"name":"z3","vers":"0.19.5","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.10.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0d7a9fcfcb5b9933836cddb76833c9f397c508caf9b91f5cbcb66eac7ce78196","features":{"bundled":["z3-sys/bundled"],"default":["z3_4_8_15"],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"],"z3_4_8_13":[],"z3_4_8_14":["z3_4_8_13"],"z3_4_8_15":["z3_4_8_14"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-11-20T22:02:07Z"}
{"name":"z3","vers":"0.19.6","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.10.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b2f393c9bc12e0a32ce65e9a0cbec296df1c7f506291db5b8237e7a9a1cc9ebe","features":{"bundled":["z3-sys/bundled"],"default":["z3_4_8_15"],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"],"z3_4_8_13":[],"z3_4_8_14":["z3_4_8_13"],"z3_4_8_15":["z3_4_8_14"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-12-10T17:44:34Z"}
{"name":"z3","vers":"0.19.7","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.10.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ea19bb0f83371b3279afd962fd5c6525024459615598ad328eb24d1713e28dd9","features":{"bundled":["z3-sys/bundled"],"default":["z3_4_8_15"],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"],"z3_4_8_13":[],"z3_4_8_14":["z3_4_8_13"],"z3_4_8_15":["z3_4_8_14"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-12-27T13:36:24Z"}
{"name":"z3","vers":"0.19.8","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.10.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b316d4b82bd53157762122e4f1ded4afd7ab9c6de93d14eb15b9476b340b2f27","features":{"bundled":["z3-sys/bundled"],"default":["z3_4_8_15"],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"],"z3_4_8_13":[],"z3_4_8_14":["z3_4_8_13"],"z3_4_8_15":["z3_4_8_14"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-13T12:43:35Z"}
{"name":"z3","vers":"0.19.9","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.10.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b1a0facc384f39876d22418a61b9bdd291451a374e36dc5036fc59b1f2062ff6","features":{"bundled":["z3-sys/bundled"],"default":["z3_4_8_15"],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"],"z3_4_8_13":[],"z3_4_8_14":["z3_4_8_13"],"z3_4_8_15":["z3_4_8_14"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-21T20:33:36Z"}
{"name":"z3","vers":"0.19.10","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.10.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1058103a6aa32931b22962f6e1f206175134874c56fb23cc4280f6ea3d10e888","features":{"bundled":["z3-sys/bundled"],"default":["z3_4_8_15"],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"],"z3_4_8_13":[],"z3_4_8_14":["z3_4_8_13"],"z3_4_8_15":["z3_4_8_14"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-24T10:10:16Z"}
{"name":"z3","vers":"0.19.11","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.10.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7a96a89e4d063f42e153c22ab840073654639149bab0882b6ea44856bdb50c7e","features":{"bundled":["z3-sys/bundled"],"default":["z3_4_8_15"],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"],"z3_4_8_13":[],"z3_4_8_14":["z3_4_8_13"],"z3_4_8_15":["z3_4_8_14"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-27T09:03:55Z"}
{"name":"z3","vers":"0.19.12","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.10.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3eefc89611f6835ebe4c66501f6035e4e54c0b9a6777085a8c1cb360eb22fd8f","features":{"bundled":["z3-sys/bundled"],"default":["z3_4_8_15"],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"],"z3_4_8_13":[],"z3_4_8_14":["z3_4_8_13"],"z3_4_8_15":["z3_4_8_14"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-03-04T13:22:07Z"}
{"name":"z3","vers":"0.19.13","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.10.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d66e43501a6df283ebdb26614b8432250a19997c0a1165655a3541aa7875deaf","features":{"bundled":["z3-sys/bundled"],"default":["z3_4_8_15"],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"],"z3_4_8_13":[],"z3_4_8_14":["z3_4_8_13"],"z3_4_8_15":["z3_4_8_14"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-03-06T19:35:51Z"}
{"name":"z3","vers":"0.19.14","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.10.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"310df1a28c9ed56eb4882e0d5b989e14ed482fbd72ea699649b96ef931a3cb42","features":{"bundled":["z3-sys/bundled"],"default":["z3_4_8_15"],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"],"z3_4_8_13":[],"z3_4_8_14":["z3_4_8_13"],"z3_4_8_15":["z3_4_8_14"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-03-13T10:30:26Z"}
{"name":"z3","vers":"0.19.15","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.10.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"107cca65ed27d28b11f7c492298a51383333fd48ba6ebe49a432aba96162f678","features":{"bundled":["z3-sys/bundled"],"default":["z3_4_8_15"],"gh-release":["z3-sys/gh-release"],"static-link-z3":["z3-sys/bundled","z3-sys/deprecated-static-link-z3"],"vcpkg":["z3-sys/vcpkg"],"z3_4_8_13":[],"z3_4_8_14":["z3_4_8_13"],"z3_4_8_15":["z3_4_8_14"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-03-20T00:11:43Z"}
{"name":"z3","vers":"0.20.0","deps":[{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rayon","req":"^1.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"semver","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c9fc44c9d6bb9fe84c03dfff211cf4c9c8cfefa2de8b803facf7305067d21a23","features":{"bundled":["z3-sys/bundled"],"gh-release":["z3-sys/gh-release"],"vcpkg":["z3-sys/vcpkg"],"vendored":["z3-sys/vendored"],"z3_4_16":[]},"features2":{"num":["dep:num"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-04-01T18:31:54Z","v":2}