{"name":"python314Packages.z3-solver","version":"4.15.8","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dfd9566f82a6e1d55c30f861879186440614696e"},"attr_path":"python314Packages.z3-solver"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b0188973b4b2a5b6bdba8b65381d6cd09a533da0"},"attr_path":"python314Packages.z3-solver"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dc72a9d2282085d97d5a2cc8e7103a68ed4de188"},"attr_path":"python314Packages.z3-solver"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"456e8a9468b9d46bd8c9524425026c00745bc4d2"},"attr_path":"python314Packages.z3-solver"},"last_updated":"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"}]}}}