{"name":"python313Packages.z3-solver","version":"4.14.1","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a16efe5d2fc7455d7328a01f4692bfec152965b3"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-05-22T03:53:02Z","outputs":[{"name":"python","path":"/nix/store/565ndfwqm38zbpb82z6fm4cnl28j5a6g-z3-4.14.1-python","default":true},{"name":"out","path":"/nix/store/1fx388ah80fczbq0808sr607wrx16w60-z3-4.14.1","default":true},{"name":"dev","path":"/nix/store/izp3m90mp8ri1al7b20m7y68ca47aich-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/s3qidl51gnvmc9c1yrlbqsxj2akkc248-z3-4.14.1-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"python","path":"/nix/store/2k750q44ikp7nbpihnfy941wfsmp1sjz-z3-4.14.1-python","default":true},{"name":"out","path":"/nix/store/8q3akjb1az2bvycxxnqf0s90srr3k890-z3-4.14.1","default":true},{"name":"dev","path":"/nix/store/vavi1lgpyda2d61iaxm24wwdl7da3bh0-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/fl087ijiysfj2mhglvvdpj58wifarhva-z3-4.14.1-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a16efe5d2fc7455d7328a01f4692bfec152965b3"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-05-22T03:53:02Z","outputs":[{"name":"python","path":"/nix/store/54q9pnvnix6mvd6pmxl4by8h8qsh4s0v-z3-4.14.1-python","default":true},{"name":"out","path":"/nix/store/nwpvs54ipz8l53sqiix8pfma3vysg9xg-z3-4.14.1","default":true},{"name":"dev","path":"/nix/store/slsay538m1sqqil1d9wspghr9m9w164r-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/rgh0gvxg9m6j15cfq9vabp1ir6g2dwlg-z3-4.14.1-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a16efe5d2fc7455d7328a01f4692bfec152965b3"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-05-22T03:53:02Z","outputs":[{"name":"python","path":"/nix/store/9gqkhb2nndj73himbm8imv5l160qpprn-z3-4.14.1-python","default":true},{"name":"out","path":"/nix/store/klixbz2lydhbn12n1v58bjz70bqpvjc4-z3-4.14.1","default":true},{"name":"lib","path":"/nix/store/5mc8a0nzld628iq0x1bil469qv716qbg-z3-4.14.1-lib"},{"name":"dev","path":"/nix/store/zyfg8i4bnrx698shzg47s7rarnysaj0v-z3-4.14.1-dev"}]}}}