{"name":"z3","summary":"High-performance theorem prover and SMT solver","description":"","homepage_url":"https://github.com/Z3Prover/z3","license":"MIT","attribute_paths":["z3"],"releases":[{"version":"4.16.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/s0hvp2lp9njyhza1rw5f2wlhsb3x66z0-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/sa3l421c08ayf9xbs83izmspqcxjr3ak-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/wffxsgg099kzcil5vnn3rpg17r62msrb-z3-4.16.0-lib"},{"name":"python","path":"/nix/store/m8xxxr050qz18lim7dx365yyv3hnqm6r-z3-4.16.0-python"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/xnzsfln6b9m30qnxigypr84kn03ijsbl-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/h62bk4qab96xx4qhwv9f05yfyzicimwi-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/7ap4ald95dda6sdnd3ibmph6z5c7dgdl-z3-4.16.0-lib"},{"name":"python","path":"/nix/store/48pj1y5070mbh19psp496ygq53p302v2-z3-4.16.0-python"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3","commit_hash":"e8273b29fe1390ec8d4603f2477357555291432e","date":"2026-07-01T15:14:03Z","outputs":[{"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"},{"name":"python","path":"/nix/store/d453pzdj7kl8z4y4jlv99m0xs9m5kn5s-z3-4.16.0-python"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/wh7aghk1psckkmzha1lkxr5zn7xg4l7z-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/jaa7sylzjhsx41nw8hd23x66l8r93mgd-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/h5j4nq4nb3i4w8rnc53jc39kcsxpg1sa-z3-4.16.0-lib"},{"name":"python","path":"/nix/store/rrm4a4xbqad26ld53xf1pqxriay540di-z3-4.16.0-python"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","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":"z3","commit_hash":"02f3fa0374fa13707d42d55d58ecc76b091f223c","date":"2026-04-09T11:02:51Z","outputs":[{"name":"out","path":"/nix/store/ynjn8r584n3nn6pi52y183xybry4j5v6-z3-4.15.8","default":true},{"name":"python","path":"/nix/store/56ax8fg727fpd272m5wqkyhzda6zsnib-z3-4.15.8-python"},{"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":"z3","commit_hash":"9d29d5f667d7467f98efc31881e824fa586c927e","date":"2026-04-10T03:55:24Z","outputs":[{"name":"out","path":"/nix/store/zasrzhbv2vfwlmfaclzlid4vinp3dkan-z3-4.15.8","default":true},{"name":"python","path":"/nix/store/qq65bxycnhkkiwgpgpf0az9n6jsx1qcx-z3-4.15.8-python"},{"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":"z3","commit_hash":"b0188973b4b2a5b6bdba8b65381d6cd09a533da0","date":"2026-04-09T19:38:50Z","outputs":[{"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"},{"name":"python","path":"/nix/store/2yn19b15q5yqz7z37z5w2dshap1q7c43-z3-4.15.8-python"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3","commit_hash":"9d29d5f667d7467f98efc31881e824fa586c927e","date":"2026-04-10T03:55:24Z","outputs":[{"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"},{"name":"python","path":"/nix/store/mcvzckp2kb2sgxh2zlsyrxdxbmgkg69w-z3-4.15.8-python"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","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":"z3","commit_hash":"bcc4a9d9533c033d806a46b37dc444f9b0da49dd","date":"2026-02-18T13:59:30Z","outputs":[{"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"},{"name":"python","path":"/nix/store/9njvv67a8np9qzn1klxd5lgz18iyndil-z3-4.15.7-python"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3","commit_hash":"724cf38d99ba81fbb4a347081db93e2e3a9bc2ae","date":"2026-02-19T06:30:45Z","outputs":[{"name":"out","path":"/nix/store/8r7lwxbz3lfgd71x8gzm8nfbzl26pa5n-z3-4.15.7","default":true},{"name":"python","path":"/nix/store/nc6n2w3bc6qrs87j7v7b6kd480jcfwvp-z3-4.15.7-python"},{"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":"z3","commit_hash":"bcc4a9d9533c033d806a46b37dc444f9b0da49dd","date":"2026-02-18T13:59:30Z","outputs":[{"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"},{"name":"python","path":"/nix/store/kh5c14hip26yg99j62rfw4d8nhk4sp05-z3-4.15.7-python"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3","commit_hash":"ac055f38c798b0d87695240c7b761b82fc7e5bc2","date":"2026-02-15T17:45:47Z","outputs":[{"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"},{"name":"python","path":"/nix/store/x7vdl7baj07w0nry08q0qfhqr0wsdr01-z3-4.15.7-python"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","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":"z3","commit_hash":"8482c7ded03bae7550f3d69884f1e611e3bd19e8","date":"2026-02-11T12:16:34Z","outputs":[{"name":"out","path":"/nix/store/ldhbqcmxxiha3pkjxvxg9bsr36lmj0zr-z3-4.15.4","default":true},{"name":"lib","path":"/nix/store/dssh3nvnrvdrw0k2jrk7i5axc1kwarvy-z3-4.15.4-lib"},{"name":"python","path":"/nix/store/r7d7i0hccf41mj5w2vhl0j0mdg281hih-z3-4.15.4-python"},{"name":"dev","path":"/nix/store/2c10jdbzwsqxk1lylfc1k9br8x4n57c3-z3-4.15.4-dev"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3","commit_hash":"2343bbb58f99267223bc2aac4fc9ea301a155a16","date":"2026-02-11T21:01:36Z","outputs":[{"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"},{"name":"python","path":"/nix/store/0j9qddijwh2v7minff1n8llx6nhnx2r2-z3-4.15.4-python"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3","commit_hash":"2343bbb58f99267223bc2aac4fc9ea301a155a16","date":"2026-02-11T21:01:36Z","outputs":[{"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"},{"name":"python","path":"/nix/store/kfyn268cm365px2fi407ws7l4s3qw9w4-z3-4.15.4-python"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3","commit_hash":"2343bbb58f99267223bc2aac4fc9ea301a155a16","date":"2026-02-11T21:01:36Z","outputs":[{"name":"out","path":"/nix/store/2ahmfp6762zn0xv75yc5avlx936nd0gk-z3-4.15.4","default":true},{"name":"python","path":"/nix/store/hd4r00sfqin8rj6rhh5ab20wl14hfxss-z3-4.15.4-python"},{"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, dev, lib, python","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":"z3","commit_hash":"e1ebeec86b771e9d387dd02d82ffdc77ac753abc","date":"2025-11-07T02:32:13Z","outputs":[{"name":"out","path":"/nix/store/880imkc4qibxibp9jwalw1wl2bn7vcsf-z3-4.15.3","default":true},{"name":"dev","path":"/nix/store/sqzdhirr8bix34kv11kzmljx8lp8ycz1-z3-4.15.3-dev"},{"name":"lib","path":"/nix/store/633dqzn103p8dk5mgqsrk3bnl32jc4zc-z3-4.15.3-lib"},{"name":"python","path":"/nix/store/fp8230nk309vf8m6bln2r3zxkxyy2vqc-z3-4.15.3-python"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3","commit_hash":"f6b44b2401525650256b977063dbcf830f762369","date":"2025-11-08T12:28:21Z","outputs":[{"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"},{"name":"python","path":"/nix/store/55s1jz01w90w1lvwxlx1x5z6jb46pjzv-z3-4.15.3-python"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3","commit_hash":"f6b44b2401525650256b977063dbcf830f762369","date":"2025-11-08T12:28:21Z","outputs":[{"name":"out","path":"/nix/store/8lpf2fr676nsf31kmpsz07bbfal7f9vc-z3-4.15.3","default":true},{"name":"python","path":"/nix/store/dpjz9mp29dl4kchcwn45cpryds0yj2sq-z3-4.15.3-python"},{"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":"z3","commit_hash":"e1ebeec86b771e9d387dd02d82ffdc77ac753abc","date":"2025-11-07T02:32:13Z","outputs":[{"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"},{"name":"python","path":"/nix/store/8xflg6m9wci08sfm18khbrc773zsrq5c-z3-4.15.3-python"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","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":"z3","commit_hash":"9585e9192aadc13ec3e49f33f8333bd3cda524df","date":"2025-08-11T07:05:29Z","outputs":[{"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"},{"name":"python","path":"/nix/store/cbzbi66xxmrfllccgkyvarsm0arg3y3p-z3-4.15.2-python"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3","commit_hash":"9585e9192aadc13ec3e49f33f8333bd3cda524df","date":"2025-08-11T07:05:29Z","outputs":[{"name":"out","path":"/nix/store/x0f2nkmqz41042g2yv32fnac30c29fzz-z3-4.15.2","default":true},{"name":"python","path":"/nix/store/h7dip84zfbvxdmw9y8g2pxcjikw7yk1g-z3-4.15.2-python"},{"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":"z3","commit_hash":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1","date":"2025-08-12T09:17:37Z","outputs":[{"name":"out","path":"/nix/store/vn03g9lyk6s11kb1bi9pmgjw7h06xnj9-z3-4.15.2","default":true},{"name":"python","path":"/nix/store/mwpvi2gwqvfv91k0dqmax8qp7h4cz9h7-z3-4.15.2-python"},{"name":"dev","path":"/nix/store/mvzw8d5v52ydra7pbm9c5apq0jw1y8dz-z3-4.15.2-dev"},{"name":"lib","path":"/nix/store/g7a4hfwfg9qn50mb229qk0xfw0mkncdr-z3-4.15.2-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3","commit_hash":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1","date":"2025-08-12T09:17:37Z","outputs":[{"name":"out","path":"/nix/store/5ic22qpb2f7idlspzimq4ddl1y1x5nsf-z3-4.15.2","default":true},{"name":"lib","path":"/nix/store/6xcw6hz1as8rcd1yf9q6b1d7h5136d3h-z3-4.15.2-lib"},{"name":"python","path":"/nix/store/jn2s8n53kxy9zjxh0vnda7l215w8g95x-z3-4.15.2-python"},{"name":"dev","path":"/nix/store/2r19g96hgqk8igbn8liicwciqjs56v1q-z3-4.15.2-dev"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.1","last_updated":"2025-07-25T08:26:56Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3","commit_hash":"6027c30c8e9810896b92429f0092f624f7b1aace","date":"2025-07-25T08:26:56Z","outputs":[{"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"},{"name":"python","path":"/nix/store/f0x55237l2cwiaaadizi77sm9x6cn784-z3-4.15.1-python"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3","commit_hash":"6027c30c8e9810896b92429f0092f624f7b1aace","date":"2025-07-25T08:26:56Z","outputs":[{"name":"out","path":"/nix/store/rgmhrwdjpz6qj1ryf1rc94b7vh0kqb29-z3-4.15.1","default":true},{"name":"python","path":"/nix/store/62yz9ngfjsdys08693c8vdwfxcjkp6pz-z3-4.15.1-python"},{"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":"z3","commit_hash":"0d00f23f023b7215b3f1035adb5247c8ec180dbc","date":"2025-07-24T23:24:55Z","outputs":[{"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"},{"name":"python","path":"/nix/store/szcyiwnnal1gnyyrmc3dl6vlivwik22h-z3-4.15.1-python"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3","commit_hash":"0d00f23f023b7215b3f1035adb5247c8ec180dbc","date":"2025-07-24T23:24:55Z","outputs":[{"name":"out","path":"/nix/store/l8scbrvzzfd54kpqpw0dwlqwl7fn7918-z3-4.15.1","default":true},{"name":"lib","path":"/nix/store/5sx5mldl94hm06hgy88s4im0x857hxhr-z3-4.15.1-lib"},{"name":"python","path":"/nix/store/nb26rj56mfndxb9m4j2xvm814n88s112-z3-4.15.1-python"},{"name":"dev","path":"/nix/store/c9za1dmgd3yldk1mbpikkra3hkxgjaki-z3-4.15.1-dev"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","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":"z3","commit_hash":"41da1e3ea8e23e094e5e3eeb1e6b830468a7399e","date":"2025-06-14T12:19:57Z","outputs":[{"name":"out","path":"/nix/store/zvy1c7gqwbkr4jz0ry6vbpdzqpb45b5b-z3-4.15.0","default":true},{"name":"lib","path":"/nix/store/rkrlr81wrqanvs6h69w6pqgfvs9ns5vl-z3-4.15.0-lib"},{"name":"python","path":"/nix/store/4xyl176gfal9viw9kkpy55dxg6dybp5l-z3-4.15.0-python"},{"name":"dev","path":"/nix/store/rj678mn1fjx18kcazzsdklfan1mk0vch-z3-4.15.0-dev"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3","commit_hash":"6afe187897bef7933475e6af374c893f4c84a293","date":"2025-06-14T03:28:56Z","outputs":[{"name":"out","path":"/nix/store/xy3hlqx5xxiki7s3ssinw5hqa1pyjh6q-z3-4.15.0","default":true},{"name":"python","path":"/nix/store/sm5jpqk7kwv5vgr4xn0qlmcafj7q4k48-z3-4.15.0-python"},{"name":"dev","path":"/nix/store/mj0gn659hivchdg56l7l0yfj3qxayfp2-z3-4.15.0-dev"},{"name":"lib","path":"/nix/store/5b5zs0aacs7f9hj0gg52yvgj6p660lgw-z3-4.15.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3","commit_hash":"41da1e3ea8e23e094e5e3eeb1e6b830468a7399e","date":"2025-06-14T12:19:57Z","outputs":[{"name":"out","path":"/nix/store/cn6m96gk7pzx8j20jbidbx2y9hbjdcz8-z3-4.15.0","default":true},{"name":"dev","path":"/nix/store/3qhk83y994jrv12fdqy1d0qlpb3va7z5-z3-4.15.0-dev"},{"name":"lib","path":"/nix/store/zhjyqp3wkwq6axd9akknkcsmjmzqrzpq-z3-4.15.0-lib"},{"name":"python","path":"/nix/store/fls1kp99a3kmhdl66r22l05pqwr2lczf-z3-4.15.0-python"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3","commit_hash":"41da1e3ea8e23e094e5e3eeb1e6b830468a7399e","date":"2025-06-14T12:19:57Z","outputs":[{"name":"out","path":"/nix/store/zqmhssdjshgbjqqd1dadcnhj4wm0cjr4-z3-4.15.0","default":true},{"name":"python","path":"/nix/store/rslkdlj8lm4l4b3fgcmfcn7nkhk3rwkb-z3-4.15.0-python"},{"name":"dev","path":"/nix/store/y41kxzqz18nyfw40a9sbcv65d41m8wbk-z3-4.15.0-dev"},{"name":"lib","path":"/nix/store/v92375kcxc50qzjnxr3ibv0389k79hg8-z3-4.15.0-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","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":"z3","commit_hash":"8c441601c43232976179eac52dde704c8bdf81ed","date":"2025-05-21T18:43:04Z","outputs":[{"name":"out","path":"/nix/store/l776nr8jwggqb7h172jz9p4816y3r06w-z3-4.14.1","default":true},{"name":"python","path":"/nix/store/lsp8wa2aq42mm6h5zwg8kszyvwcwwzfx-z3-4.14.1-python"},{"name":"dev","path":"/nix/store/kci2wvw853b0bc8bpv2xxgs9f87p6ald-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/cd2ii4q155q6pd2jkrf02vwr78hzlsgl-z3-4.14.1-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3","commit_hash":"8c441601c43232976179eac52dde704c8bdf81ed","date":"2025-05-21T18:43:04Z","outputs":[{"name":"out","path":"/nix/store/xs69rjj7z3d6vvdhr2p52k7fvnhx90ri-z3-4.14.1","default":true},{"name":"python","path":"/nix/store/y2izycbfv11576lg4rvipdki8vpn0cg4-z3-4.14.1-python"},{"name":"dev","path":"/nix/store/saa022jbl0l2l3ziha128n21qj5lyf8f-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/zki09dlfvrdpnq7w4jnj1m15jksf2iq9-z3-4.14.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3","commit_hash":"2f9173bde1d3fbf1ad26ff6d52f952f9e9da52ea","date":"2025-05-20T08:00:33Z","outputs":[{"name":"out","path":"/nix/store/xq50d24c6ncmr8pih7ghjgqkz5qgzf85-z3-4.14.1","default":true},{"name":"python","path":"/nix/store/rhhh8pqir91j0lv2ygm1f2bgvbwrz41p-z3-4.14.1-python"},{"name":"dev","path":"/nix/store/qc3vwxd4vz5yvhjrwn0lhvq7rjp5nqgc-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/cypwi18xk0cv0bdsmzisr1c52m179iq7-z3-4.14.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3","commit_hash":"a16efe5d2fc7455d7328a01f4692bfec152965b3","date":"2025-05-22T03:53:02Z","outputs":[{"name":"out","path":"/nix/store/kib2kcz9gss2rzh5mdmx58cwkj18kc64-z3-4.14.1","default":true},{"name":"lib","path":"/nix/store/viy5m05f1i6yl09c666ycbg538wg2r0s-z3-4.14.1-lib"},{"name":"python","path":"/nix/store/563m9c72b7gbcyin2h31bfs20ky00cgz-z3-4.14.1-python"},{"name":"dev","path":"/nix/store/cygziaavfajj7dhkqw4y0vc74d3xsiy7-z3-4.14.1-dev"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","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":"z3","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/3yshgvvl8jvdvr8s2r6hz76gh5jyag6j-z3-4.13.4","default":true},{"name":"dev","path":"/nix/store/sb9s4i697kcr661j5v8g9pf16jnxn0vf-z3-4.13.4-dev"},{"name":"lib","path":"/nix/store/601g2zj99jkxf9k3zh4jazfbdph5qpfd-z3-4.13.4-lib"},{"name":"python","path":"/nix/store/4zqzvmxbaj64abvdpx3w40zqzrdhfpys-z3-4.13.4-python"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/4r9i52py2lvc20ahw0pbsg6jw2rhhn7s-z3-4.13.4","default":true},{"name":"dev","path":"/nix/store/35clvw24jv23rcpyh1irwwpjn9kzzdgg-z3-4.13.4-dev"},{"name":"lib","path":"/nix/store/iihgk2ad4j5iygn8fk8jmys4q7yy9jy5-z3-4.13.4-lib"},{"name":"python","path":"/nix/store/ndq3v0a1kmhh929v51kx1p74xknc8x8v-z3-4.13.4-python"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/pjlj9rnlxvdif769s5c1k5936azdpb30-z3-4.13.4","default":true},{"name":"python","path":"/nix/store/nhkxhjpcqvphd43wvibd7z5m91msmndn-z3-4.13.4-python"},{"name":"dev","path":"/nix/store/pd4z9mwfs9knsnigjwymiws24m5cn7ar-z3-4.13.4-dev"},{"name":"lib","path":"/nix/store/bwmndw27lqnr5rh435w2dnk34jh25nyc-z3-4.13.4-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/41bbr7gw4ipgv0nhkv0n2sacklh1936a-z3-4.13.4","default":true},{"name":"python","path":"/nix/store/4wz2rydfgprkl2h8xwhfxhnjbnip5cch-z3-4.13.4-python"},{"name":"dev","path":"/nix/store/51116vbrcy4ih3qcaqxg3zhlx5zfmjy6-z3-4.13.4-dev"},{"name":"lib","path":"/nix/store/bb6h0jy9pl02f6gfkfq5w3y0r27f2kxj-z3-4.13.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.8.17","last_updated":"2025-01-16T05:04:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3","commit_hash":"ae2fb9f1fb5fcf17fb59f25c2a881c170c501d6f","date":"2025-01-15T12:23:19Z","outputs":[{"name":"out","path":"/nix/store/azllqvk25fq7lzppi3xlfsrzj4szf21b-z3-4.8.17","default":true},{"name":"python","path":"/nix/store/y7vhhr9332h14fgdahxv5v13rajkdc1l-z3-4.8.17-python"},{"name":"dev","path":"/nix/store/71hpspyd8iqyf2n814nfl2xs658d036v-z3-4.8.17-dev"},{"name":"lib","path":"/nix/store/z9wmlkkki87z43hkysgcarwj3gkjmshx-z3-4.8.17-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3","commit_hash":"ae06b9c2d83cb5c8b12d7d0e32692e93d1379713","date":"2025-01-16T05:04:52Z","outputs":[{"name":"out","path":"/nix/store/q9fkhjl46zx7lksvwjpccb1f84xdv36k-z3-4.8.17","default":true},{"name":"python","path":"/nix/store/kc9r8a9pka93n9726y9hp96w7rlrggvl-z3-4.8.17-python"},{"name":"dev","path":"/nix/store/gyz7wmv9xy98sq90myh3ygmkbs9dq966-z3-4.8.17-dev"},{"name":"lib","path":"/nix/store/3323bszyi672fzh9zn7gpbmgs4m6qbp5-z3-4.8.17-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3","commit_hash":"ae06b9c2d83cb5c8b12d7d0e32692e93d1379713","date":"2025-01-16T05:04:52Z","outputs":[{"name":"out","path":"/nix/store/qbj4csynavvg8q1xah8prxijkcwm6w39-z3-4.8.17","default":true},{"name":"dev","path":"/nix/store/yssmp0bwbj7kxl82mpfi2l6ps46v6shw-z3-4.8.17-dev"},{"name":"lib","path":"/nix/store/97fjgpw007r8bi4xdxwjk9pdpx8blnss-z3-4.8.17-lib"},{"name":"python","path":"/nix/store/qd5cz8lr057k7ffy9gyzqy36ph8dlm9w-z3-4.8.17-python"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3","commit_hash":"357cd3dfdb8993af11268d755d53357720675e66","date":"2025-01-14T09:56:28Z","outputs":[{"name":"out","path":"/nix/store/mkq194pmiw6pf36zg738xbxccfzpmyzf-z3-4.8.17","default":true},{"name":"python","path":"/nix/store/hdg5ccfkcrazqk5w7bmziv4xs1dpbrlh-z3-4.8.17-python"},{"name":"dev","path":"/nix/store/r1x4pay4vn1fvh6c0j89q2z1izl9785s-z3-4.8.17-dev"},{"name":"lib","path":"/nix/store/mdwv4nkw8k32n7icdnp4bfq65gylg5f9-z3-4.8.17-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.15","last_updated":"2023-04-17T09:27:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3","commit_hash":"db34d7561caa508ece0265a56f382c5d3b7a6c1b","date":"2023-04-17T01:11:45Z","outputs":[{"name":"out","path":"/nix/store/56m9w4ciifh5lnh1ls5k8dbi3fkw1xag-z3-4.8.15","default":true},{"name":"python","path":"/nix/store/yk7cqxkl8yjj1mirl121a8ypsmpjnn24-z3-4.8.15-python"},{"name":"dev","path":"/nix/store/px84y5k5snphj2rifnjnh9mb1zn709kk-z3-4.8.15-dev"},{"name":"lib","path":"/nix/store/ylawg428771vmp6gbglkl6w6warj5yb0-z3-4.8.15-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3","commit_hash":"269c677b54ea828a9f0f4cb02f4beee9c95a2284","date":"2023-04-17T09:27:06Z","outputs":[{"name":"out","path":"/nix/store/3vcb07iq1mfsl58i4796w39836g12nph-z3-4.8.15","default":true},{"name":"python","path":"/nix/store/18nl0fapxm4h5hand95hhp5i7dg2fwry-z3-4.8.15-python"},{"name":"dev","path":"/nix/store/550v7i0jw3kl6syn6vf7j1n7vcjz8742-z3-4.8.15-dev"},{"name":"lib","path":"/nix/store/prdv8cdnd9ql3d0jqfmqqq44g0zfirxs-z3-4.8.15-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3","commit_hash":"269c677b54ea828a9f0f4cb02f4beee9c95a2284","date":"2023-04-17T09:27:06Z","outputs":[{"name":"out","path":"/nix/store/yq5rkg15wp0ncz9brnb7k1fymdnpgnsc-z3-4.8.15","default":true},{"name":"lib","path":"/nix/store/vjjwi6svr2p21rjdzcsp7slkiwc4r006-z3-4.8.15-lib"},{"name":"python","path":"/nix/store/4pz4vpnw7rrq8dhfgis4zsxs276dbvd9-z3-4.8.15-python"},{"name":"dev","path":"/nix/store/dddzq0na512r83xbzqhafqqkyqcd3dkv-z3-4.8.15-dev"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3","commit_hash":"269c677b54ea828a9f0f4cb02f4beee9c95a2284","date":"2023-04-17T09:27:06Z","outputs":[{"name":"out","path":"/nix/store/w61dkclw4qvw1jf5a3ygwq0cri3s64sl-z3-4.8.15","default":true},{"name":"python","path":"/nix/store/1xvi581v76bkqq7p9killg4c1n4k60fi-z3-4.8.15-python"},{"name":"dev","path":"/nix/store/m0z1aa0hmd44gjqxrk4dc0mwk2gj86qj-z3-4.8.15-dev"},{"name":"lib","path":"/nix/store/cwh2ih4cka6r5q52mrrj8afnc8fqvir8-z3-4.8.15-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.14","last_updated":"2022-03-25T14:41:56Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3","commit_hash":"30d3d79b7d3607d56546dd2a6b49e156ba0ec634","date":"2022-03-25T14:41:56Z","outputs":[{"name":"out","path":"/nix/store/z3qvgk1ckzhk8ry4y7ji1cqj9kp9wffr-z3-4.8.14","default":true},{"name":"dev","path":"/nix/store/wdkqwhmw4sy9riva5cpcjmhc4lrvgw1s-z3-4.8.14-dev"},{"name":"lib","path":"/nix/store/nzzcs12r9z0mxz8k9mvm1mkzbynvzrkx-z3-4.8.14-lib"},{"name":"python","path":"/nix/store/ahy22wbj35nb7s5jyabzws0npkjgcf4h-z3-4.8.14-python"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3","commit_hash":"4d60081494259c0785f7e228518fee74e0792c1b","date":"2022-03-24T04:49:18Z","outputs":[{"name":"out","path":"/nix/store/m8q8hykj60hjq2qrlk1j398nxjl1r2mx-z3-4.8.14","default":true},{"name":"dev","path":"/nix/store/663p4pdkd2kqsjjxcczapn6ps85hi9q1-z3-4.8.14-dev"},{"name":"lib","path":"/nix/store/cczj4bripvb0841a1n27y2sgy8ki9mmm-z3-4.8.14-lib"},{"name":"python","path":"/nix/store/1sjj76wzhcm96rxv4kwdlxdngzgk6kwd-z3-4.8.14-python"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3","commit_hash":"c984213d12225fa5feb640136872da56d2e8f702","date":"2022-03-23T19:50:16Z","outputs":[{"name":"out","path":"/nix/store/wbc416dshca7ihg7jyqkjlgg49wzkz9f-z3-4.8.14","default":true},{"name":"dev","path":"/nix/store/67cqi9i97l8br90adxy39zjhiwqsq1xd-z3-4.8.14-dev"},{"name":"lib","path":"/nix/store/7w4mpwiwffcspybxycjwrasqkidnl974-z3-4.8.14-lib"},{"name":"python","path":"/nix/store/k6497s66bx9zn35i0fndx2cnjqzah044-z3-4.8.14-python"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.12","last_updated":"2022-01-01T05:55:45Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3","commit_hash":"6f05cfdb1e78d36c0337516df674560e4b51c79b","date":"2022-01-01T05:55:45Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3","commit_hash":"6f05cfdb1e78d36c0337516df674560e4b51c79b","date":"2022-01-01T05:55:45Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3","commit_hash":"6f05cfdb1e78d36c0337516df674560e4b51c79b","date":"2022-01-01T05:55:45Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.10","last_updated":"2021-09-26T10:07:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3","commit_hash":"b5182c214fac1e6db9f28ed8a7cfc2d0c255c763","date":"2021-09-26T10:07:29Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3","commit_hash":"b5182c214fac1e6db9f28ed8a7cfc2d0c255c763","date":"2021-09-26T10:07:29Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3","commit_hash":"b5182c214fac1e6db9f28ed8a7cfc2d0c255c763","date":"2021-09-26T10:07:29Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.9","last_updated":"2021-01-31T03:57:17Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3","commit_hash":"b76d44b9612b0f2117cbce00a9e9508f068c752e","date":"2021-01-31T03:57:17Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.8","last_updated":"2020-09-09T10:48:30Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3","commit_hash":"51428e8d38271d14146211867984b8742d304ea4","date":"2020-09-09T10:48:30Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.7","last_updated":"2020-08-17T05:32:13Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3","commit_hash":"078b9f8aa68089253a10dc9dda8b4dbdf4eaddfc","date":"2020-08-17T05:32:13Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}