{"name":"python311Packages.z3-solver","summary":"High-performance theorem prover and SMT solver","description":"","homepage_url":"https://github.com/Z3Prover/z3","license":"MIT","attribute_paths":["python311Packages.z3-solver"],"releases":[{"version":"4.8.17","last_updated":"2024-12-22T08:27:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python311Packages.z3-solver","commit_hash":"71a6392e367b08525ee710a93af2e80083b5b3e2","date":"2024-12-13T21:43:23Z","outputs":[{"name":"python","path":"/nix/store/mgcxn4y2g6l52d01sr3wb7qr4b57dzz0-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/kwwsa8005w0z860iixsk84s9w9f1d6nz-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/5hd46v1spys6zkpd9drlvsjymjw1mqr4-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/bmdkgxkwl2m0r2xcy9qk12mqgix1r65v-z3-solver-4.8.17-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python311Packages.z3-solver","commit_hash":"93ff48c9be84a76319dac293733df09bbbe3f25c","date":"2024-12-22T08:27:48Z","outputs":[{"name":"python","path":"/nix/store/3i35cs4l24r0s3wz30l7yf8bg8srzlsx-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/ivmj6v2cl7m20g94swjrlz8yfyxh7576-z3-solver-4.8.17","default":true},{"name":"lib","path":"/nix/store/0v7rvhk8s31dsm13lkbqcghlh5pg6383-z3-solver-4.8.17-lib"},{"name":"dev","path":"/nix/store/b23xl1z8hsaw6rl1pdvfcvrih43f6dsc-z3-solver-4.8.17-dev"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python311Packages.z3-solver","commit_hash":"7e4a1594489d41bf8e16046b28e14a0e264c9baa","date":"2024-12-21T22:31:51Z","outputs":[{"name":"python","path":"/nix/store/gzs826vp8kcjkjic1bjx0sx7y34ny7hd-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/6kc68rw2z1hnj3vj114mfzx5gq8n2van-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/70d2wv2h97i3av64brwinc194bwsfl4d-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/n0np2k0m4f8xa2a78yg7vsk89mwy668k-z3-solver-4.8.17-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python311Packages.z3-solver","commit_hash":"71a6392e367b08525ee710a93af2e80083b5b3e2","date":"2024-12-13T21:43:23Z","outputs":[{"name":"python","path":"/nix/store/55p4awmmqrkziij1lv69xg77liznlb46-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/mj6ph78jg2f2kbb1ynxssjdq1y2isr1d-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/7l6l422rivfl78j87ihp2i06kd9rci65-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/bh017r12qc2jwqcc4w061y0m5lnqv8m3-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}]}