{"name":"python314Packages.z3-solver","summary":"High-performance theorem prover and SMT solver","description":"","homepage_url":"https://github.com/Z3Prover/z3","license":"MIT","attribute_paths":["python314Packages.z3-solver"],"releases":[{"version":"4.16.0","last_updated":"2026-09-13T01:58:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python314Packages.z3-solver","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"python","path":"/nix/store/b1fvhqq6zw5cmp1906cmfv2hzkvbqizp-z3-4.16.0-python","default":true},{"name":"out","path":"/nix/store/h6nixlf14p3ndbpxr1c45lzlrhs69rxn-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/n191174s18h051ddsbqxw8vy2grs4fdn-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/ml1j08fgs7wz2jzm8zq7fnnj0vx0l2yh-z3-4.16.0-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.z3-solver","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"python","path":"/nix/store/gf4j2npdg8gimwbh239ljnc3d7p06x5w-z3-4.16.0-python","default":true},{"name":"out","path":"/nix/store/r0bi2xq9pbiaisz56gqk1gr3d3yqpfk3-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/7mlzrcc3wx7p38pg9f8qhv347jscxiiy-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/cmjbkakvc8ml7djda93gh584fi9ca8za-z3-4.16.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python314Packages.z3-solver","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"python","path":"/nix/store/iam727h1ynmil4j02fzgyi3b9fzm6z1w-z3-4.16.0-python","default":true},{"name":"out","path":"/nix/store/6lzncybvq3ir0900lkwbav2gm5z61ihx-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/8mx8c229cm478g51y2vlxz5j7ba6mf9m-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/v871hmqk2ngqh7min7i1306d31hswlyg-z3-4.16.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.z3-solver","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"python","path":"/nix/store/8wwnlafda17hyg03yc2kfrlf7a85hcp3-z3-4.16.0-python","default":true},{"name":"out","path":"/nix/store/rx0qkfh4zcf1lp9i94kq04yh149w10a1-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/q711qkzsw0ma5i5jfslmx7jg3qh007mf-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/hyfr0bx0vvxwxm7ybwh8vsksrzv0i0rp-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-09T19:38:50Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python314Packages.z3-solver","commit_hash":"dfd9566f82a6e1d55c30f861879186440614696e","date":"2026-04-07T16:32:49Z","outputs":[{"name":"python","path":"/nix/store/0i8ig33as7rrs4y91yjzw1gps8z1szy9-z3-4.15.8-python","default":true},{"name":"out","path":"/nix/store/5h899q2yhjj31ay5jc084gay33qa68b1-z3-4.15.8","default":true},{"name":"dev","path":"/nix/store/4xb7ki18i7r52vmpj37vbjabsfxmzk0j-z3-4.15.8-dev"},{"name":"lib","path":"/nix/store/vikp690c1pq986g2mml357266nhr31ci-z3-4.15.8-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.z3-solver","commit_hash":"b0188973b4b2a5b6bdba8b65381d6cd09a533da0","date":"2026-04-09T19:38:50Z","outputs":[{"name":"python","path":"/nix/store/gzldgl9wbz27gjsd65pxwxz6q9z0q001-z3-4.15.8-python","default":true},{"name":"out","path":"/nix/store/qqsbq8szky5jy2sgfpcvkdfgi6y47h8r-z3-4.15.8","default":true},{"name":"lib","path":"/nix/store/jy0bzpdgsxaf5s6c5qb7makj0zq868lr-z3-4.15.8-lib"},{"name":"dev","path":"/nix/store/f8vyr3f0c62zrk7sazy0ar5bww7vk73z-z3-4.15.8-dev"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python314Packages.z3-solver","commit_hash":"dc72a9d2282085d97d5a2cc8e7103a68ed4de188","date":"2026-04-07T01:34:01Z","outputs":[{"name":"python","path":"/nix/store/6lb3azqcfvbgvf7050lvdk9q9hlncyc5-z3-4.15.8-python","default":true},{"name":"out","path":"/nix/store/brc2gn2ma22md0nl0656pjqlzxa3yp25-z3-4.15.8","default":true},{"name":"dev","path":"/nix/store/i8dfba0il8rknw17w5igzy5s77mmn9iv-z3-4.15.8-dev"},{"name":"lib","path":"/nix/store/vkg1bcwgn5cypsvfyscw67j1l56rklwr-z3-4.15.8-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.z3-solver","commit_hash":"456e8a9468b9d46bd8c9524425026c00745bc4d2","date":"2026-04-08T09:18:10Z","outputs":[{"name":"python","path":"/nix/store/x8pp55vkfm4ilalrm4xxj45k99ncnf6q-z3-4.15.8-python","default":true},{"name":"out","path":"/nix/store/lh5ahkfn8xyprr3f0kwv3xrs6rb0r7xs-z3-4.15.8","default":true},{"name":"dev","path":"/nix/store/r6hc74x0h6r45sgmwkkackmg0c3ns8q9-z3-4.15.8-dev"},{"name":"lib","path":"/nix/store/010km2i9crgg4l3h7cj8vkx5m5b3j38v-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":"python314Packages.z3-solver","commit_hash":"724cf38d99ba81fbb4a347081db93e2e3a9bc2ae","date":"2026-02-19T06:30:45Z","outputs":[{"name":"python","path":"/nix/store/3phav67hcik5db85a4b37vq0rja656q2-z3-4.15.7-python","default":true},{"name":"out","path":"/nix/store/c6s63kb1n7zcbilhqqpxsgjzxvqpv16y-z3-4.15.7","default":true},{"name":"lib","path":"/nix/store/1hp5vwlcr3ld5vlcnkyb0i5p1zwhgs9a-z3-4.15.7-lib"},{"name":"dev","path":"/nix/store/algps1rsyy2vy93nw4r3l0ic5wac9xdq-z3-4.15.7-dev"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.z3-solver","commit_hash":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe","date":"2026-02-13T23:34:13Z","outputs":[{"name":"python","path":"/nix/store/8jsz9nsqj684qy0idiadyffhmn4s9c2v-z3-4.15.7-python","default":true},{"name":"out","path":"/nix/store/h5yph24mq1wya92dkpjn7271mz6ywd55-z3-4.15.7","default":true},{"name":"dev","path":"/nix/store/67fahsv8jh4kh910sdrmwk3w1lpiw9lp-z3-4.15.7-dev"},{"name":"lib","path":"/nix/store/w9c47ygl076izv4g9hxgp4jzxyxyddlq-z3-4.15.7-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python314Packages.z3-solver","commit_hash":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe","date":"2026-02-13T23:34:13Z","outputs":[{"name":"python","path":"/nix/store/axcdccnr6f2mzbv9zcaxkpsgb5k8fjp1-z3-4.15.7-python","default":true},{"name":"out","path":"/nix/store/pgad9w9lgwjv9i1ryipcpyl61zz6chr8-z3-4.15.7","default":true},{"name":"dev","path":"/nix/store/n381g19z93qikvc3vi867vvss59y47kh-z3-4.15.7-dev"},{"name":"lib","path":"/nix/store/2d6ag7f7kx7r6v6y7b6hr2qn0qqcsn14-z3-4.15.7-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.z3-solver","commit_hash":"724cf38d99ba81fbb4a347081db93e2e3a9bc2ae","date":"2026-02-19T06:30:45Z","outputs":[{"name":"python","path":"/nix/store/kvz4w75a25vmivvnrisv6gcrbmj91ydn-z3-4.15.7-python","default":true},{"name":"out","path":"/nix/store/h7jdga0031q0ailfp8ivlsm8d6w3qkx4-z3-4.15.7","default":true},{"name":"lib","path":"/nix/store/apnksf7pq9f3v767jny6j9hcdf3kbz3w-z3-4.15.7-lib"},{"name":"dev","path":"/nix/store/ywn465csfnrcah4km5wb1xf9vnz2h1ah-z3-4.15.7-dev"}],"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":"python314Packages.z3-solver","commit_hash":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe","date":"2026-02-06T12:24:04Z","outputs":[{"name":"python","path":"/nix/store/4nkaibcajg83sz6njxbhhj59dgbbvb8m-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/iprz2icm0f0qb8mppd48iv80j51vmr4h-z3-4.15.4","default":true},{"name":"dev","path":"/nix/store/v7fl8vysyamx528qkanrmqk49fni2mm1-z3-4.15.4-dev"},{"name":"lib","path":"/nix/store/8zg8hswm240sfq6zp7bzs7qqv4wv6zp1-z3-4.15.4-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.z3-solver","commit_hash":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe","date":"2026-02-06T12:24:04Z","outputs":[{"name":"python","path":"/nix/store/563nzamc92cga5j33viqkmaf6gcssrbg-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/01mxz9kc0nl7frb2rsq8h9hyv8crv1nw-z3-4.15.4","default":true},{"name":"dev","path":"/nix/store/j6n108l5wsh69cwxp8c1lrm64xpi3gfp-z3-4.15.4-dev"},{"name":"lib","path":"/nix/store/259lsli0f8vrilkn57qf4ih63vpyk3kp-z3-4.15.4-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python314Packages.z3-solver","commit_hash":"8482c7ded03bae7550f3d69884f1e611e3bd19e8","date":"2026-02-11T12:16:34Z","outputs":[{"name":"python","path":"/nix/store/m6pib7s58vav4nv7fcwf403d1lq1hpky-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/85m0aykfcv19jnl7v874x0hz33kznsa5-z3-4.15.4","default":true},{"name":"dev","path":"/nix/store/9hll925v5qpk6dh5vzb2gq48m9v0pn50-z3-4.15.4-dev"},{"name":"lib","path":"/nix/store/wzmm86j5c0zllp5wkj6lypqv1czgd927-z3-4.15.4-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.z3-solver","commit_hash":"2343bbb58f99267223bc2aac4fc9ea301a155a16","date":"2026-02-11T21:01:36Z","outputs":[{"name":"python","path":"/nix/store/cydikcjws35nwynaghphdgsk0ndwicc9-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/sdi7a7fgpl2m9k9x8kawi4q3k7v99blz-z3-4.15.4","default":true},{"name":"lib","path":"/nix/store/idk8p1s18bd6fx373sablha78696yx3p-z3-4.15.4-lib"},{"name":"dev","path":"/nix/store/agch67pqs2f5qc5h2lhfqz6langrf8dw-z3-4.15.4-dev"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false}]}