{"name":"z3_4_12","summary":"High-performance theorem prover and SMT solver","description":"","homepage_url":"https://github.com/Z3Prover/z3","license":"MIT","attribute_paths":["z3_4_12"],"releases":[{"version":"4.12.6","last_updated":"2025-04-23T03:04:08Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3_4_12","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/wdblaxycpjb8z1vvw2wkfajvjgvzwvsw-z3-4.12.6","default":true},{"name":"dev","path":"/nix/store/s0na8ybm3xwn5alls2j8m5wkk3akb8qk-z3-4.12.6-dev"},{"name":"lib","path":"/nix/store/z4q86skdzkasnnsy1kqcaxjrdiyabjkj-z3-4.12.6-lib"},{"name":"python","path":"/nix/store/22wv9liijww83sgrxvrwzwg2p9viwsmv-z3-4.12.6-python"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3_4_12","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/y4zvyhs0m388dibjh8qci0z3yhf9bagz-z3-4.12.6","default":true},{"name":"python","path":"/nix/store/304pr9sbr3h3qc7g707q3mw4ysanwljq-z3-4.12.6-python"},{"name":"dev","path":"/nix/store/hcjki21c3jn955vwpwqi03ns8spn2g7b-z3-4.12.6-dev"},{"name":"lib","path":"/nix/store/8394b82n15vl5fwdqjizp7ng7mxaszfb-z3-4.12.6-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3_4_12","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/if8p46in6dmznzfhk0rxjcwy7adlgh3w-z3-4.12.6","default":true},{"name":"python","path":"/nix/store/h2kyrf2bx4m7hzx6r9628zks7nnv9ip0-z3-4.12.6-python"},{"name":"dev","path":"/nix/store/4pr1m428pwndfpyzvrnbvhgj7fmbhdrg-z3-4.12.6-dev"},{"name":"lib","path":"/nix/store/9v89nkp66aflq57pdhqc6xj7dqc81fpp-z3-4.12.6-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3_4_12","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/kkgnw5yhyx815a66fgq68wpqyvb2nsbq-z3-4.12.6","default":true},{"name":"lib","path":"/nix/store/2wbj4gxrxi48b3qnzdh6g6r2csk30igb-z3-4.12.6-lib"},{"name":"python","path":"/nix/store/7rz4j23gms4gd8wa96jpxb6i1by0rm53-z3-4.12.6-python"},{"name":"dev","path":"/nix/store/b3nslnq7ldcz3wnzb3m83yb658jsdylp-z3-4.12.6-dev"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","prerelease":false,"broken":false,"insecure":false},{"version":"4.12.5","last_updated":"2025-01-16T05:04:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3_4_12","commit_hash":"ae06b9c2d83cb5c8b12d7d0e32692e93d1379713","date":"2025-01-16T05:04:52Z","outputs":[{"name":"out","path":"/nix/store/fij0rlm3c4ip1ycfc1148lss0v02llfp-z3-4.12.5","default":true},{"name":"python","path":"/nix/store/141ihc9nn2xxs2l3l9lrnj0yll8j2msf-z3-4.12.5-python"},{"name":"dev","path":"/nix/store/ndl036bnmwhimysd4kdcbi46nia0k403-z3-4.12.5-dev"},{"name":"lib","path":"/nix/store/ayhy4ipay8r1plrzjjn3xw5q5673l9ry-z3-4.12.5-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3_4_12","commit_hash":"ae06b9c2d83cb5c8b12d7d0e32692e93d1379713","date":"2025-01-16T05:04:52Z","outputs":[{"name":"out","path":"/nix/store/zlxi0q5w8rsdlbfiiq58qf6kyp9x8gbp-z3-4.12.5","default":true},{"name":"python","path":"/nix/store/22xyidjhrbg23fgvqbggi3yv59s17si1-z3-4.12.5-python"},{"name":"dev","path":"/nix/store/ns5j6i54dgx43r6ngfs30v9rirlp995h-z3-4.12.5-dev"},{"name":"lib","path":"/nix/store/3rzgbin24banxrppkg0zr6x5alp6ll94-z3-4.12.5-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3_4_12","commit_hash":"ae06b9c2d83cb5c8b12d7d0e32692e93d1379713","date":"2025-01-16T05:04:52Z","outputs":[{"name":"out","path":"/nix/store/p84pyaigh2wpbrb196nxic9hss29mcij-z3-4.12.5","default":true},{"name":"lib","path":"/nix/store/6awqj0ibvnjfsagnrln6lvnn988afv4w-z3-4.12.5-lib"},{"name":"python","path":"/nix/store/pz6s6sgaxvalj384g1gdr10qymxxh0s5-z3-4.12.5-python"},{"name":"dev","path":"/nix/store/5yy25ndvnxh1qij810ihckfy3qzmfb9g-z3-4.12.5-dev"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3_4_12","commit_hash":"ae06b9c2d83cb5c8b12d7d0e32692e93d1379713","date":"2025-01-16T05:04:52Z","outputs":[{"name":"out","path":"/nix/store/bi0y7m1blm5gkg8p9jhmaxmn6ivrbkji-z3-4.12.5","default":true},{"name":"lib","path":"/nix/store/apd1cdr19vw8z1zb9z1yaw8cy43hhx7y-z3-4.12.5-lib"},{"name":"python","path":"/nix/store/83s99hxg26va643lifimvcn71sk5rqqq-z3-4.12.5-python"},{"name":"dev","path":"/nix/store/ckzwbmyw4glmz5y9wqv9wi6facc0rl9c-z3-4.12.5-dev"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","prerelease":false,"broken":false,"insecure":false},{"version":"4.12.4","last_updated":"2024-01-31T11:44:42Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3_4_12","commit_hash":"269ce7215bb5b436546786e8d354d37903e102a8","date":"2024-01-31T11:44:42Z","outputs":[{"name":"out","path":"/nix/store/p5x6c7bd3qzsncb4kbzkqlb9y4wxnkbv-z3-4.12.4","default":true},{"name":"lib","path":"/nix/store/yjr64x9nmm9d9j9ydbvicgxiq8jnhrb1-z3-4.12.4-lib"},{"name":"python","path":"/nix/store/4c7vb7yhwb5fq938llm4zb6ww2a7kghy-z3-4.12.4-python"},{"name":"dev","path":"/nix/store/3k9h4hgldwcra0s1w5l76r0fdnliil9i-z3-4.12.4-dev"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3_4_12","commit_hash":"269ce7215bb5b436546786e8d354d37903e102a8","date":"2024-01-31T11:44:42Z","outputs":[{"name":"out","path":"/nix/store/xd645rrvzlrx42byq30nq1qjssbpsdi9-z3-4.12.4","default":true},{"name":"python","path":"/nix/store/kjy33wc4ylj5500z8mgd7an6yv93zbqk-z3-4.12.4-python"},{"name":"dev","path":"/nix/store/y7wsnidkm5mql55yza7yqbcahbmh09bk-z3-4.12.4-dev"},{"name":"lib","path":"/nix/store/wi515gyidgnrvq3p56rpw0v8ck2nk3m0-z3-4.12.4-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3_4_12","commit_hash":"269ce7215bb5b436546786e8d354d37903e102a8","date":"2024-01-31T11:44:42Z","outputs":[{"name":"out","path":"/nix/store/8cni3bv7xfsplsc9gppwjgd6p0cs9a18-z3-4.12.4","default":true},{"name":"python","path":"/nix/store/s7cyblz5qxf7lknlf791kgziwy4c22kn-z3-4.12.4-python"},{"name":"dev","path":"/nix/store/llynk543ijy4xqmbcj10wlvl4h83b05f-z3-4.12.4-dev"},{"name":"lib","path":"/nix/store/x590f75mswjyqgn83cnxy9ln2nylg2r8-z3-4.12.4-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3_4_12","commit_hash":"5ad9903c16126a7d949101687af0aa589b1d7d3d","date":"2024-01-31T06:48:05Z","outputs":[{"name":"out","path":"/nix/store/19m44cx3q963bzcymjhyhyv19p01hhqw-z3-4.12.4","default":true},{"name":"python","path":"/nix/store/9nq9cf19fb9hnzyzng54gxbi2sw693a5-z3-4.12.4-python"},{"name":"dev","path":"/nix/store/f2m9lls4cnqh07s1flbq56hbhbx8zbvw-z3-4.12.4-dev"},{"name":"lib","path":"/nix/store/7hpiiv6y8wk4sx94mbvrkg5174zky2kc-z3-4.12.4-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","prerelease":false,"broken":false,"insecure":false},{"version":"4.12.2","last_updated":"2023-12-31T07:44:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3_4_12","commit_hash":"d6863cbcbbb80e71cecfc03356db1cda38919523","date":"2023-12-21T04:58:04Z","outputs":[{"name":"out","path":"/nix/store/lypg2yx1hy8xjkvcaxrg9s8j3i32p4sx-z3-4.12.2","default":true},{"name":"dev","path":"/nix/store/2xj5swdnwxrr0xd1fxckllyxykj09gi1-z3-4.12.2-dev"},{"name":"lib","path":"/nix/store/ckwcq5jr0kmsgrh1azl2i07w714h552c-z3-4.12.2-lib"},{"name":"python","path":"/nix/store/hn0mlnkkqkn77r7ncpcw4hbnr794fiky-z3-4.12.2-python"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3_4_12","commit_hash":"69973a9a20858b467dd936542c63554f3675e02d","date":"2023-12-20T12:30:24Z","outputs":[{"name":"out","path":"/nix/store/z9c0ysqvys99g30si18jwmpscp053b0m-z3-4.12.2","default":true},{"name":"dev","path":"/nix/store/8nz21pz3ashy29c5pkpzalcz018b7x8f-z3-4.12.2-dev"},{"name":"lib","path":"/nix/store/7g7b0d9kralvzr1dacrirp5v64im5qqj-z3-4.12.2-lib"},{"name":"python","path":"/nix/store/fdddca6rv16l188mnmpsxznysh3r7yi7-z3-4.12.2-python"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3_4_12","commit_hash":"d44d59d2b5bd694cd9d996fd8c51d03e3e9ba7f7","date":"2023-12-31T07:44:09Z","outputs":[{"name":"out","path":"/nix/store/rsd3yawxqpy5q8pizddxgwrnqd2hbzfi-z3-4.12.2","default":true},{"name":"python","path":"/nix/store/mkz43xjf16byiaq6isidwbyvx4y6khbj-z3-4.12.2-python"},{"name":"dev","path":"/nix/store/mg45bdcxcyxzz9azsn2mch135f9grs8c-z3-4.12.2-dev"},{"name":"lib","path":"/nix/store/q6fjb9zwcsm508z2b4p8pgysw0px5maq-z3-4.12.2-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3_4_12","commit_hash":"e1fa12d4f6c6fe19ccb59cac54b5b3f25e160870","date":"2023-12-25T10:13:25Z","outputs":[{"name":"out","path":"/nix/store/8ncixal8mma49mqzl974z74nzbh6fh95-z3-4.12.2","default":true},{"name":"python","path":"/nix/store/23qnmpjksvs85ffdfq44cvw1q525x3ik-z3-4.12.2-python"},{"name":"dev","path":"/nix/store/36jxw6m7an5hrz2ja80r2yzjxnkzrg1v-z3-4.12.2-dev"},{"name":"lib","path":"/nix/store/qycwacqnqqp1sh21702rdy0lkpg1lsm3-z3-4.12.2-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","prerelease":false,"broken":false,"insecure":false},{"version":"4.12.1","last_updated":"2023-06-25T14:03:45Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3_4_12","commit_hash":"07059ee2fa34f1598758839b9af87eae7f7ae6ea","date":"2023-06-25T14:03:45Z","outputs":[{"name":"out","path":"/nix/store/kg1mvbjcvyr32b2k3zxr56ld4a2zhx7p-z3-4.12.1","default":true},{"name":"lib","path":"/nix/store/zh5d975677zxmvkzpnzk7dp1dmsa76iv-z3-4.12.1-lib"},{"name":"python","path":"/nix/store/mja8a9lv2xhac8p1pxq37zf59m63rrlq-z3-4.12.1-python"},{"name":"dev","path":"/nix/store/8a4iykmhabfgbfjywk7zy1hxc4q6h2pw-z3-4.12.1-dev"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3_4_12","commit_hash":"dc2afced518559f1c962b5824599b2c99c7684e3","date":"2023-06-25T05:09:47Z","outputs":[{"name":"out","path":"/nix/store/xk923pf2n3ypfv6knsyi4xpzy0qh9ddg-z3-4.12.1","default":true},{"name":"python","path":"/nix/store/h9p1464gv8pj1a0amgg7hy7qp3kr483i-z3-4.12.1-python"},{"name":"dev","path":"/nix/store/m4gkry3iq3kdcvrkjiggmhhfg1v0ggnj-z3-4.12.1-dev"},{"name":"lib","path":"/nix/store/y9v1adfx9sgxmhprh8agivfdsg0klljy-z3-4.12.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3_4_12","commit_hash":"07059ee2fa34f1598758839b9af87eae7f7ae6ea","date":"2023-06-25T14:03:45Z","outputs":[{"name":"out","path":"/nix/store/49rifbcf7vvr17zzc70hpa3g30b0fcl6-z3-4.12.1","default":true},{"name":"dev","path":"/nix/store/gix5zb4r150d8r796l09qhc2q0jpcs4s-z3-4.12.1-dev"},{"name":"lib","path":"/nix/store/8s14vzsbv2g9516f3l2b34qrvk4slfja-z3-4.12.1-lib"},{"name":"python","path":"/nix/store/v7fmq8xg2ycr0890b24r15qx4cqhfliw-z3-4.12.1-python"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3_4_12","commit_hash":"07059ee2fa34f1598758839b9af87eae7f7ae6ea","date":"2023-06-25T14:03:45Z","outputs":[{"name":"out","path":"/nix/store/7aq44vcbga2mmiyzjfchjfn1km6wyn91-z3-4.12.1","default":true},{"name":"dev","path":"/nix/store/k9m4m1g5jfcrizd041c6s6dp08fvjggi-z3-4.12.1-dev"},{"name":"lib","path":"/nix/store/mzh3fpb1l1blfavcib3dahj3wi7ys3jy-z3-4.12.1-lib"},{"name":"python","path":"/nix/store/lzmzgm9cqd0jk0vvkw81i32j3gp81cy0-z3-4.12.1-python"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","prerelease":false,"broken":false,"insecure":false}]}