{"name":"python314Packages.z3-solver","version":"4.15.4","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe"},"attr_path":"python314Packages.z3-solver"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe"},"attr_path":"python314Packages.z3-solver"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8482c7ded03bae7550f3d69884f1e611e3bd19e8"},"attr_path":"python314Packages.z3-solver"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2343bbb58f99267223bc2aac4fc9ea301a155a16"},"attr_path":"python314Packages.z3-solver"},"last_updated":"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"}]}}}