{"name":"python313Packages.z3-solver","version":"4.13.4","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"507b63021ada5fee621b6ca371c4fca9ca46f52c"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-04-23T03:04:08Z","outputs":[{"name":"python","path":"/nix/store/2fl5x1djxw29ba3vlkb4qky1q8ym7cqv-z3-solver-4.13.4-python","default":true},{"name":"out","path":"/nix/store/fv5r0jx1sx3pz2i9ad296fvrbrb2ps07-z3-solver-4.13.4","default":true},{"name":"dev","path":"/nix/store/8fr2ncfg3v637x2k5wm6sxaq08n7zd6s-z3-solver-4.13.4-dev"},{"name":"lib","path":"/nix/store/9w8aqrxnn9filhpdz3i3hfg0n189l5y5-z3-solver-4.13.4-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"python","path":"/nix/store/p5jsb5h8kimg53j8k64960fgnp9csgrk-z3-solver-4.13.4-python","default":true},{"name":"out","path":"/nix/store/9lck9zr6d68cl97qvwrkpc5p1f63kxmk-z3-solver-4.13.4","default":true},{"name":"dev","path":"/nix/store/n3rvzjq5va2nqzly2x2yrf9jpjkg4y43-z3-solver-4.13.4-dev"},{"name":"lib","path":"/nix/store/8i1gdr0bniqsih80g6gm4369v6xqs17a-z3-solver-4.13.4-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"python","path":"/nix/store/lgx0ikaw4s255dw4ifailjqpm6x0jip3-z3-solver-4.13.4-python","default":true},{"name":"out","path":"/nix/store/nikmv8i38kbfgqlbsnqfb4navl5n6fzq-z3-solver-4.13.4","default":true},{"name":"dev","path":"/nix/store/b4yjnsmjcxdf6gh3233drr2fkzk95mqv-z3-solver-4.13.4-dev"},{"name":"lib","path":"/nix/store/p0rb8g7znj5w2zksgangy0n4f5szhn6v-z3-solver-4.13.4-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"python","path":"/nix/store/755acqwfb4l0aqix43bzba5ps32hpb8g-z3-solver-4.13.4-python","default":true},{"name":"out","path":"/nix/store/w4xf8ng18yxf45hww7wkfbd97yk5l130-z3-solver-4.13.4","default":true},{"name":"dev","path":"/nix/store/4f8234jia8ldpfa1xsc5c9s68qdncx3z-z3-solver-4.13.4-dev"},{"name":"lib","path":"/nix/store/q50fzd52jvjs4334kf44z2n0fkf429ci-z3-solver-4.13.4-lib"}]}}}