{"name":"python313Packages.z3-solver","summary":"High-performance theorem prover and SMT solver","description":"","homepage_url":"https://github.com/Z3Prover/z3","license":"MIT","attribute_paths":["python313Packages.z3-solver"],"releases":[{"version":"4.16.0","last_updated":"2026-09-13T01:58:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"python","path":"/nix/store/gvbch5wljji646lmf0drq6v0klm8j1wf-z3-4.16.0-python","default":true},{"name":"out","path":"/nix/store/y1p6yzm7ni9q1qrwf2zxgsrz7jg6q225-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/9y8aq73x55vf9kxgwp666jwczdi9bsra-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/9pfhjk5wd499ayq64575f297bjc7410s-z3-4.16.0-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"python","path":"/nix/store/5mi3mai3n3hkvrwngfcc0fgdf9fqd90h-z3-4.16.0-python","default":true},{"name":"out","path":"/nix/store/x8d20qflbk00j3k09nnnhggah6sa4nb4-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/kyx91zvy4r4s2pdh9x1kk0k3psvhzxkf-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/jqr3blswwyzv7x4w4xg90ljd8hrab5p9-z3-4.16.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"d33369954a67ae3322177dc9a3d564092912120c","date":"2026-07-02T07:55:03Z","outputs":[{"name":"python","path":"/nix/store/d453pzdj7kl8z4y4jlv99m0xs9m5kn5s-z3-4.16.0-python","default":true},{"name":"out","path":"/nix/store/5pp0w2532qr07hvyq53pcxpw5bb8nh8s-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/h92aaagdqp7p95a69cbvxhyld5jmvn14-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/kmvmbmvaaji5qri5i1b5qj5xj7d7icsy-z3-4.16.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"python","path":"/nix/store/iv0inqjqi6h4gm428bk0m4x29lkn87sl-z3-4.16.0-python","default":true},{"name":"out","path":"/nix/store/v8a3d986xwrflrzri3c9gzcpp0wwj4gw-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/qbvxva20dx3z2xsm0lmr131bdr5wq7cg-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/w47jxnl5l11az3b35c495av1b3njnsl2-z3-4.16.0-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.8","last_updated":"2026-04-10T03:55:24Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"456e8a9468b9d46bd8c9524425026c00745bc4d2","date":"2026-04-08T09:18:10Z","outputs":[{"name":"python","path":"/nix/store/56ax8fg727fpd272m5wqkyhzda6zsnib-z3-4.15.8-python","default":true},{"name":"out","path":"/nix/store/ynjn8r584n3nn6pi52y183xybry4j5v6-z3-4.15.8","default":true},{"name":"dev","path":"/nix/store/473ijzdiwfhfyawc4wrm6lgsyzilcclr-z3-4.15.8-dev"},{"name":"lib","path":"/nix/store/ydyidq2qy74mbj1xb3gc0cip33acx1bv-z3-4.15.8-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"ff048610a1b698607a66f4671821716c2272dc9f","date":"2026-04-06T17:08:15Z","outputs":[{"name":"python","path":"/nix/store/qq65bxycnhkkiwgpgpf0az9n6jsx1qcx-z3-4.15.8-python","default":true},{"name":"out","path":"/nix/store/zasrzhbv2vfwlmfaclzlid4vinp3dkan-z3-4.15.8","default":true},{"name":"dev","path":"/nix/store/xr4cf8ixriwdabd6jsyvd5jh8k1vli70-z3-4.15.8-dev"},{"name":"lib","path":"/nix/store/gwwpcps2q5gf0m6yb714xkbss27r4im2-z3-4.15.8-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"5e11f7acce6c3469bef9df154d78534fa7ae8b6c","date":"2026-04-05T15:42:39Z","outputs":[{"name":"python","path":"/nix/store/2yn19b15q5yqz7z37z5w2dshap1q7c43-z3-4.15.8-python","default":true},{"name":"out","path":"/nix/store/ra1sgvgfpxvpyisnn5mr7iksg8svxas6-z3-4.15.8","default":true},{"name":"dev","path":"/nix/store/i663jp7ps1v7qh405cq9yipzcwm8yi61-z3-4.15.8-dev"},{"name":"lib","path":"/nix/store/7swal0ningizn2fz205sa3sy5hdcl39q-z3-4.15.8-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"9d29d5f667d7467f98efc31881e824fa586c927e","date":"2026-04-10T03:55:24Z","outputs":[{"name":"python","path":"/nix/store/mcvzckp2kb2sgxh2zlsyrxdxbmgkg69w-z3-4.15.8-python","default":true},{"name":"out","path":"/nix/store/fyvrsfnsqsbalrfhmq3sfjnqc316mlmw-z3-4.15.8","default":true},{"name":"dev","path":"/nix/store/nr4h15yzp0ivkahmdk11bhpmdqwyrfw1-z3-4.15.8-dev"},{"name":"lib","path":"/nix/store/izlan4g6md03s0jfpj41fjdg81lff162-z3-4.15.8-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.7","last_updated":"2026-02-19T06:30:45Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe","date":"2026-02-13T23:34:13Z","outputs":[{"name":"python","path":"/nix/store/9njvv67a8np9qzn1klxd5lgz18iyndil-z3-4.15.7-python","default":true},{"name":"out","path":"/nix/store/dw3wlnybydkgw3yacqa3qmc31ha2ixhf-z3-4.15.7","default":true},{"name":"dev","path":"/nix/store/pzw4pxyy6llawr3dd96rl24bni9av23k-z3-4.15.7-dev"},{"name":"lib","path":"/nix/store/qknpxiz7agc5l7kvl5859a0ikgjpry0a-z3-4.15.7-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"724cf38d99ba81fbb4a347081db93e2e3a9bc2ae","date":"2026-02-19T06:30:45Z","outputs":[{"name":"python","path":"/nix/store/nc6n2w3bc6qrs87j7v7b6kd480jcfwvp-z3-4.15.7-python","default":true},{"name":"out","path":"/nix/store/8r7lwxbz3lfgd71x8gzm8nfbzl26pa5n-z3-4.15.7","default":true},{"name":"dev","path":"/nix/store/77v8w1l706hwf10liid8mmfwnarvwjb7-z3-4.15.7-dev"},{"name":"lib","path":"/nix/store/j37yngfg30b5brmipllc59v50ya05hl2-z3-4.15.7-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"d1c15b7d5806069da59e819999d70e1cec0760bf","date":"2026-02-16T02:09:13Z","outputs":[{"name":"python","path":"/nix/store/kh5c14hip26yg99j62rfw4d8nhk4sp05-z3-4.15.7-python","default":true},{"name":"out","path":"/nix/store/rgq4vqdqcynsc0q9a5inqnhjpcs3blfq-z3-4.15.7","default":true},{"name":"dev","path":"/nix/store/widk1cdcbyh7xw0zhqvr374a69gqdgpy-z3-4.15.7-dev"},{"name":"lib","path":"/nix/store/w5ywv2bb4ml2lsr9ikgwk3vkrg6330x9-z3-4.15.7-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"d1c15b7d5806069da59e819999d70e1cec0760bf","date":"2026-02-16T02:09:13Z","outputs":[{"name":"python","path":"/nix/store/x7vdl7baj07w0nry08q0qfhqr0wsdr01-z3-4.15.7-python","default":true},{"name":"out","path":"/nix/store/8gk1fj1gpsn4r9dlvvr52r8z711lrq5j-z3-4.15.7","default":true},{"name":"dev","path":"/nix/store/7bayk77cyzaa14yr97kay4v2k48s6mgh-z3-4.15.7-dev"},{"name":"lib","path":"/nix/store/nqxm0cglnwkx0kb37hsyw2rdnr01g7f4-z3-4.15.7-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.4","last_updated":"2026-02-11T21:01:36Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"c05d2232d2feaa4c7a07f1168606917402868195","date":"2026-02-11T03:47:03Z","outputs":[{"name":"python","path":"/nix/store/r7d7i0hccf41mj5w2vhl0j0mdg281hih-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/ldhbqcmxxiha3pkjxvxg9bsr36lmj0zr-z3-4.15.4","default":true},{"name":"dev","path":"/nix/store/2c10jdbzwsqxk1lylfc1k9br8x4n57c3-z3-4.15.4-dev"},{"name":"lib","path":"/nix/store/dssh3nvnrvdrw0k2jrk7i5axc1kwarvy-z3-4.15.4-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"2343bbb58f99267223bc2aac4fc9ea301a155a16","date":"2026-02-11T21:01:36Z","outputs":[{"name":"python","path":"/nix/store/0j9qddijwh2v7minff1n8llx6nhnx2r2-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/0hfrxxpqc10pqg7si16dysipywqsaj3j-z3-4.15.4","default":true},{"name":"dev","path":"/nix/store/qc9bhzjw3hpb0pn8yscv8hlziw90qmjg-z3-4.15.4-dev"},{"name":"lib","path":"/nix/store/vcmwkqa8g69m8vmxzdpcqjsrcq0v1lpy-z3-4.15.4-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"2343bbb58f99267223bc2aac4fc9ea301a155a16","date":"2026-02-11T21:01:36Z","outputs":[{"name":"python","path":"/nix/store/kfyn268cm365px2fi407ws7l4s3qw9w4-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/bcy1z4mq3a4amv69hmagfq3cb0w3rvjf-z3-4.15.4","default":true},{"name":"dev","path":"/nix/store/4lrsmffb3yiv7hrdaavhc84x0v3jbd2g-z3-4.15.4-dev"},{"name":"lib","path":"/nix/store/1a4bhk0ymj9pb8zd948jn0zjqil8drp5-z3-4.15.4-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe","date":"2026-02-06T12:24:04Z","outputs":[{"name":"python","path":"/nix/store/hd4r00sfqin8rj6rhh5ab20wl14hfxss-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/2ahmfp6762zn0xv75yc5avlx936nd0gk-z3-4.15.4","default":true},{"name":"dev","path":"/nix/store/8hb93w1bab9svr3ryjli2g7v0qrx72vr-z3-4.15.4-dev"},{"name":"lib","path":"/nix/store/w9xijwv674ij01nhlp9vxn54l8f38i9k-z3-4.15.4-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.3","last_updated":"2025-11-08T12:28:21Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"f6b44b2401525650256b977063dbcf830f762369","date":"2025-11-08T12:28:21Z","outputs":[{"name":"python","path":"/nix/store/fp8230nk309vf8m6bln2r3zxkxyy2vqc-z3-4.15.3-python","default":true},{"name":"out","path":"/nix/store/880imkc4qibxibp9jwalw1wl2bn7vcsf-z3-4.15.3","default":true},{"name":"lib","path":"/nix/store/633dqzn103p8dk5mgqsrk3bnl32jc4zc-z3-4.15.3-lib"},{"name":"dev","path":"/nix/store/sqzdhirr8bix34kv11kzmljx8lp8ycz1-z3-4.15.3-dev"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"02f2cb8e0feb4596d20cc52fda73ccee960e3538","date":"2025-10-24T23:52:36Z","outputs":[{"name":"python","path":"/nix/store/55s1jz01w90w1lvwxlx1x5z6jb46pjzv-z3-4.15.3-python","default":true},{"name":"out","path":"/nix/store/xqs229030i0jq0ikpndd3c6im0gp2vw6-z3-4.15.3","default":true},{"name":"dev","path":"/nix/store/0yi5icfkad2fxzhxf639nbf9xynhp4j0-z3-4.15.3-dev"},{"name":"lib","path":"/nix/store/0l59492h9prjy2fgpqwv27rdc5dp2c7f-z3-4.15.3-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"f6b44b2401525650256b977063dbcf830f762369","date":"2025-11-08T12:28:21Z","outputs":[{"name":"python","path":"/nix/store/dpjz9mp29dl4kchcwn45cpryds0yj2sq-z3-4.15.3-python","default":true},{"name":"out","path":"/nix/store/8lpf2fr676nsf31kmpsz07bbfal7f9vc-z3-4.15.3","default":true},{"name":"dev","path":"/nix/store/giwha0acn1q8sr91kmp1lb27jhvvdlq3-z3-4.15.3-dev"},{"name":"lib","path":"/nix/store/a3jjbr2a08h233q5mbghg41p93gdiy6y-z3-4.15.3-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"de69d2ba6c70e747320df9c096523b623d3a4c35","date":"2025-10-26T01:09:48Z","outputs":[{"name":"python","path":"/nix/store/8xflg6m9wci08sfm18khbrc773zsrq5c-z3-4.15.3-python","default":true},{"name":"out","path":"/nix/store/x6z3sjmccszacl1xvdlpi7bd4ps7mhci-z3-4.15.3","default":true},{"name":"dev","path":"/nix/store/jia1f1jqbnbvkpcjn7i763x140vq6xln-z3-4.15.3-dev"},{"name":"lib","path":"/nix/store/dnda0q8273gpvlyw42azbi502acxkdji-z3-4.15.3-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.2","last_updated":"2025-08-12T09:17:37Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"9585e9192aadc13ec3e49f33f8333bd3cda524df","date":"2025-08-11T07:05:29Z","outputs":[{"name":"python","path":"/nix/store/cbzbi66xxmrfllccgkyvarsm0arg3y3p-z3-4.15.2-python","default":true},{"name":"out","path":"/nix/store/2yjhz5h1g7bad5kp6vgk537glb0j1ah8-z3-4.15.2","default":true},{"name":"dev","path":"/nix/store/fzzss82dmv5r3qx19dcgsr5r2z35h7kr-z3-4.15.2-dev"},{"name":"lib","path":"/nix/store/gyb628s4kbjivha5jz9gba89g5pd09pv-z3-4.15.2-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"641d909c4a7538f1539da9240dedb1755c907e40","date":"2025-08-10T04:38:50Z","outputs":[{"name":"python","path":"/nix/store/h7dip84zfbvxdmw9y8g2pxcjikw7yk1g-z3-4.15.2-python","default":true},{"name":"out","path":"/nix/store/x0f2nkmqz41042g2yv32fnac30c29fzz-z3-4.15.2","default":true},{"name":"dev","path":"/nix/store/kvj828y1qwc3is62s58zf21bzcghwinj-z3-4.15.2-dev"},{"name":"lib","path":"/nix/store/ladlpkj3rhiy73fvd0d8kcfzz564n19q-z3-4.15.2-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1","date":"2025-08-12T09:17:37Z","outputs":[{"name":"python","path":"/nix/store/mwpvi2gwqvfv91k0dqmax8qp7h4cz9h7-z3-4.15.2-python","default":true},{"name":"out","path":"/nix/store/vn03g9lyk6s11kb1bi9pmgjw7h06xnj9-z3-4.15.2","default":true},{"name":"lib","path":"/nix/store/g7a4hfwfg9qn50mb229qk0xfw0mkncdr-z3-4.15.2-lib"},{"name":"dev","path":"/nix/store/mvzw8d5v52ydra7pbm9c5apq0jw1y8dz-z3-4.15.2-dev"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"641d909c4a7538f1539da9240dedb1755c907e40","date":"2025-08-10T04:38:50Z","outputs":[{"name":"python","path":"/nix/store/jn2s8n53kxy9zjxh0vnda7l215w8g95x-z3-4.15.2-python","default":true},{"name":"out","path":"/nix/store/5ic22qpb2f7idlspzimq4ddl1y1x5nsf-z3-4.15.2","default":true},{"name":"dev","path":"/nix/store/2r19g96hgqk8igbn8liicwciqjs56v1q-z3-4.15.2-dev"},{"name":"lib","path":"/nix/store/6xcw6hz1as8rcd1yf9q6b1d7h5136d3h-z3-4.15.2-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.1","last_updated":"2025-07-24T23:24:55Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"0d00f23f023b7215b3f1035adb5247c8ec180dbc","date":"2025-07-24T23:24:55Z","outputs":[{"name":"python","path":"/nix/store/f0x55237l2cwiaaadizi77sm9x6cn784-z3-4.15.1-python","default":true},{"name":"out","path":"/nix/store/k99sh82jhp8bvf9xc2h0zbcz5gkpzrx1-z3-4.15.1","default":true},{"name":"dev","path":"/nix/store/108d6y8g3dv7pc8sdb4hjp5z9fiz4xbm-z3-4.15.1-dev"},{"name":"lib","path":"/nix/store/ca7j91qgclc9p76wl2jrh9hxrlvkiqqi-z3-4.15.1-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"2baf8e1658cba84a032c3a8befb1e7b06629242a","date":"2025-07-21T09:58:03Z","outputs":[{"name":"python","path":"/nix/store/62yz9ngfjsdys08693c8vdwfxcjkp6pz-z3-4.15.1-python","default":true},{"name":"out","path":"/nix/store/rgmhrwdjpz6qj1ryf1rc94b7vh0kqb29-z3-4.15.1","default":true},{"name":"dev","path":"/nix/store/qvjfm3fwx06547xll3lhqlgqc6rcqw9z-z3-4.15.1-dev"},{"name":"lib","path":"/nix/store/yf223vlc4fp9w4cc4fg48f50wb4shhin-z3-4.15.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"fa0ef8a6bb1651aa26c939aeb51b5f499e86b0ec","date":"2025-07-17T10:11:59Z","outputs":[{"name":"python","path":"/nix/store/szcyiwnnal1gnyyrmc3dl6vlivwik22h-z3-4.15.1-python","default":true},{"name":"out","path":"/nix/store/66217dakf5c9i55jpxgmv8z52win4nyb-z3-4.15.1","default":true},{"name":"dev","path":"/nix/store/0grh763bp9j3xpqzsxa6ixrzmjd8nsw5-z3-4.15.1-dev"},{"name":"lib","path":"/nix/store/5qvlvkwa089gmc83l9nkdgp2wl3c60v4-z3-4.15.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"b74a30dbc0a72e20df07d43109339f780b439291","date":"2025-07-24T15:00:16Z","outputs":[{"name":"python","path":"/nix/store/nb26rj56mfndxb9m4j2xvm814n88s112-z3-4.15.1-python","default":true},{"name":"out","path":"/nix/store/l8scbrvzzfd54kpqpw0dwlqwl7fn7918-z3-4.15.1","default":true},{"name":"dev","path":"/nix/store/c9za1dmgd3yldk1mbpikkra3hkxgjaki-z3-4.15.1-dev"},{"name":"lib","path":"/nix/store/5sx5mldl94hm06hgy88s4im0x857hxhr-z3-4.15.1-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.0","last_updated":"2025-06-14T12:19:57Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"6afe187897bef7933475e6af374c893f4c84a293","date":"2025-06-14T03:28:56Z","outputs":[{"name":"python","path":"/nix/store/rfghdzz9ypyswwm8sbkrkn6rmh0yaivx-z3-4.15.0-python","default":true},{"name":"out","path":"/nix/store/6mh7s4pkm1hkjmv2x3lql4cvvy4dv63q-z3-4.15.0","default":true},{"name":"dev","path":"/nix/store/gq311i806hc6l94vyv274axsy5g3djf0-z3-4.15.0-dev"},{"name":"lib","path":"/nix/store/3wss6p9vd30837q6scsj5lj979mgwgsv-z3-4.15.0-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"f72be405a10668b8b00937b452f2145244103ebc","date":"2025-06-11T05:21:29Z","outputs":[{"name":"python","path":"/nix/store/32aswd6h207xj2ipj9h6wwjfqvkp765p-z3-4.15.0-python","default":true},{"name":"out","path":"/nix/store/7p2a2x2b7ph9ziax93kknxdr5kr6czrl-z3-4.15.0","default":true},{"name":"dev","path":"/nix/store/lnzxa43pwj6z0ph63ihba0awsqjsaa86-z3-4.15.0-dev"},{"name":"lib","path":"/nix/store/2kmrw3483q5qidlmx68sws7fjfn8kilv-z3-4.15.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"6e7721e37bf00fa7ea44ac3cfc9d2411284ec3ef","date":"2025-06-13T00:58:23Z","outputs":[{"name":"python","path":"/nix/store/v6ngbvgxav0g4mn7mm6yqav09182s3fg-z3-4.15.0-python","default":true},{"name":"out","path":"/nix/store/r6r1387qgm4gzb9ml5d9va3s5wnq6p6s-z3-4.15.0","default":true},{"name":"dev","path":"/nix/store/j61s47gnkfjayxxywqyy1byh2hhz4sv0-z3-4.15.0-dev"},{"name":"lib","path":"/nix/store/wfwi7zfd9c6f34k8fll5gyr1f2l86h83-z3-4.15.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"41da1e3ea8e23e094e5e3eeb1e6b830468a7399e","date":"2025-06-14T12:19:57Z","outputs":[{"name":"python","path":"/nix/store/7yyxzrwr9v802b1n02if745i3xsxa2ka-z3-4.15.0-python","default":true},{"name":"out","path":"/nix/store/hbl8zkp7vxpfqlsjcwb02505zpdjb666-z3-4.15.0","default":true},{"name":"lib","path":"/nix/store/h4hdryljhlmax3h6dc888jfkfhb3y30g-z3-4.15.0-lib"},{"name":"dev","path":"/nix/store/pc0b8yqj0q6shx0gpmg387cigsi1pxdy-z3-4.15.0-dev"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.14.1","last_updated":"2025-05-22T03:53:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"a16efe5d2fc7455d7328a01f4692bfec152965b3","date":"2025-05-22T03:53:02Z","outputs":[{"name":"python","path":"/nix/store/565ndfwqm38zbpb82z6fm4cnl28j5a6g-z3-4.14.1-python","default":true},{"name":"out","path":"/nix/store/1fx388ah80fczbq0808sr607wrx16w60-z3-4.14.1","default":true},{"name":"dev","path":"/nix/store/izp3m90mp8ri1al7b20m7y68ca47aich-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/s3qidl51gnvmc9c1yrlbqsxj2akkc248-z3-4.14.1-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"python","path":"/nix/store/2k750q44ikp7nbpihnfy941wfsmp1sjz-z3-4.14.1-python","default":true},{"name":"out","path":"/nix/store/8q3akjb1az2bvycxxnqf0s90srr3k890-z3-4.14.1","default":true},{"name":"dev","path":"/nix/store/vavi1lgpyda2d61iaxm24wwdl7da3bh0-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/fl087ijiysfj2mhglvvdpj58wifarhva-z3-4.14.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"a16efe5d2fc7455d7328a01f4692bfec152965b3","date":"2025-05-22T03:53:02Z","outputs":[{"name":"python","path":"/nix/store/54q9pnvnix6mvd6pmxl4by8h8qsh4s0v-z3-4.14.1-python","default":true},{"name":"out","path":"/nix/store/nwpvs54ipz8l53sqiix8pfma3vysg9xg-z3-4.14.1","default":true},{"name":"dev","path":"/nix/store/slsay538m1sqqil1d9wspghr9m9w164r-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/rgh0gvxg9m6j15cfq9vabp1ir6g2dwlg-z3-4.14.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"a16efe5d2fc7455d7328a01f4692bfec152965b3","date":"2025-05-22T03:53:02Z","outputs":[{"name":"python","path":"/nix/store/9gqkhb2nndj73himbm8imv5l160qpprn-z3-4.14.1-python","default":true},{"name":"out","path":"/nix/store/klixbz2lydhbn12n1v58bjz70bqpvjc4-z3-4.14.1","default":true},{"name":"lib","path":"/nix/store/5mc8a0nzld628iq0x1bil469qv716qbg-z3-4.14.1-lib"},{"name":"dev","path":"/nix/store/zyfg8i4bnrx698shzg47s7rarnysaj0v-z3-4.14.1-dev"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.13.4","last_updated":"2025-04-23T03:04:08Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"python","path":"/nix/store/2fl5x1djxw29ba3vlkb4qky1q8ym7cqv-z3-solver-4.13.4-python","default":true},{"name":"out","path":"/nix/store/fv5r0jx1sx3pz2i9ad296fvrbrb2ps07-z3-solver-4.13.4","default":true},{"name":"dev","path":"/nix/store/8fr2ncfg3v637x2k5wm6sxaq08n7zd6s-z3-solver-4.13.4-dev"},{"name":"lib","path":"/nix/store/9w8aqrxnn9filhpdz3i3hfg0n189l5y5-z3-solver-4.13.4-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"python","path":"/nix/store/p5jsb5h8kimg53j8k64960fgnp9csgrk-z3-solver-4.13.4-python","default":true},{"name":"out","path":"/nix/store/9lck9zr6d68cl97qvwrkpc5p1f63kxmk-z3-solver-4.13.4","default":true},{"name":"dev","path":"/nix/store/n3rvzjq5va2nqzly2x2yrf9jpjkg4y43-z3-solver-4.13.4-dev"},{"name":"lib","path":"/nix/store/8i1gdr0bniqsih80g6gm4369v6xqs17a-z3-solver-4.13.4-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"python","path":"/nix/store/lgx0ikaw4s255dw4ifailjqpm6x0jip3-z3-solver-4.13.4-python","default":true},{"name":"out","path":"/nix/store/nikmv8i38kbfgqlbsnqfb4navl5n6fzq-z3-solver-4.13.4","default":true},{"name":"dev","path":"/nix/store/b4yjnsmjcxdf6gh3233drr2fkzk95mqv-z3-solver-4.13.4-dev"},{"name":"lib","path":"/nix/store/p0rb8g7znj5w2zksgangy0n4f5szhn6v-z3-solver-4.13.4-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"python","path":"/nix/store/755acqwfb4l0aqix43bzba5ps32hpb8g-z3-solver-4.13.4-python","default":true},{"name":"out","path":"/nix/store/w4xf8ng18yxf45hww7wkfbd97yk5l130-z3-solver-4.13.4","default":true},{"name":"dev","path":"/nix/store/4f8234jia8ldpfa1xsc5c9s68qdncx3z-z3-solver-4.13.4-dev"},{"name":"lib","path":"/nix/store/q50fzd52jvjs4334kf44z2n0fkf429ci-z3-solver-4.13.4-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.17","last_updated":"2025-01-15T12:23:19Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"2f9e2f85cb14a46410a1399aa9ea7ecf433e422e","date":"2025-01-12T04:53:46Z","outputs":[{"name":"python","path":"/nix/store/wbw4vcq3ysdwfd0il9rs3hbd1z980v97-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/pgfikjwh49w58qw1360h3nzlkjdmn7xp-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/5pm3gzf6hfnfh19wgci4gb601y44h27g-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/iah5llnfshvx2d5nryz4zsbj6jxlx49j-z3-solver-4.8.17-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"ae2fb9f1fb5fcf17fb59f25c2a881c170c501d6f","date":"2025-01-15T12:23:19Z","outputs":[{"name":"python","path":"/nix/store/d8gz0kablgv09q2zvxwh3b1j95i8awj6-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/v73s451g3gcci2i9braq8zdmgkvg9bwd-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/6kf1q1dgfyx084ms4vsrz5rbapy0vfwq-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/8hwinmipcm4gw71m47af0cn6pjaw3shn-z3-solver-4.8.17-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.z3-solver","commit_hash":"733994ea06585b76621073160e87b0bfac7fc5ae","date":"2025-01-14T19:01:50Z","outputs":[{"name":"python","path":"/nix/store/ig7kd8giccf93gnpmdyb4bydp98bs83d-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/p9rhrkfwh8y049a65bj0q9n8hssixg7f-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/vaslna4h32mrv3ir6an0arnp96h1sbzp-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/8wnfxc2x012k9l6qw309x8pqp75zxn0z-z3-solver-4.8.17-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.z3-solver","commit_hash":"ef56e777fedaa4da8c66a150081523c5de1e0171","date":"2025-01-13T08:04:02Z","outputs":[{"name":"python","path":"/nix/store/hm11fs7fng5sqmxr8x9n7z23jgyr9m34-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/hb31zpdp0rhqlmhmlsp01icixxaf59m8-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/vabpbshlqripmx3nns3mx3hpacvh1n58-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/lv88gkh5qbf35xayx31d8bvfkrmwdijh-z3-solver-4.8.17-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false}]}