{"name":"python313Packages.z3-solver","version":"4.15.3","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f6b44b2401525650256b977063dbcf830f762369"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-11-08T12:28:21Z","outputs":[{"name":"python","path":"/nix/store/fp8230nk309vf8m6bln2r3zxkxyy2vqc-z3-4.15.3-python","default":true},{"name":"out","path":"/nix/store/880imkc4qibxibp9jwalw1wl2bn7vcsf-z3-4.15.3","default":true},{"name":"lib","path":"/nix/store/633dqzn103p8dk5mgqsrk3bnl32jc4zc-z3-4.15.3-lib"},{"name":"dev","path":"/nix/store/sqzdhirr8bix34kv11kzmljx8lp8ycz1-z3-4.15.3-dev"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"02f2cb8e0feb4596d20cc52fda73ccee960e3538"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-10-24T23:52:36Z","outputs":[{"name":"python","path":"/nix/store/55s1jz01w90w1lvwxlx1x5z6jb46pjzv-z3-4.15.3-python","default":true},{"name":"out","path":"/nix/store/xqs229030i0jq0ikpndd3c6im0gp2vw6-z3-4.15.3","default":true},{"name":"dev","path":"/nix/store/0yi5icfkad2fxzhxf639nbf9xynhp4j0-z3-4.15.3-dev"},{"name":"lib","path":"/nix/store/0l59492h9prjy2fgpqwv27rdc5dp2c7f-z3-4.15.3-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f6b44b2401525650256b977063dbcf830f762369"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-11-08T12:28:21Z","outputs":[{"name":"python","path":"/nix/store/dpjz9mp29dl4kchcwn45cpryds0yj2sq-z3-4.15.3-python","default":true},{"name":"out","path":"/nix/store/8lpf2fr676nsf31kmpsz07bbfal7f9vc-z3-4.15.3","default":true},{"name":"dev","path":"/nix/store/giwha0acn1q8sr91kmp1lb27jhvvdlq3-z3-4.15.3-dev"},{"name":"lib","path":"/nix/store/a3jjbr2a08h233q5mbghg41p93gdiy6y-z3-4.15.3-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de69d2ba6c70e747320df9c096523b623d3a4c35"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-10-26T01:09:48Z","outputs":[{"name":"python","path":"/nix/store/8xflg6m9wci08sfm18khbrc773zsrq5c-z3-4.15.3-python","default":true},{"name":"out","path":"/nix/store/x6z3sjmccszacl1xvdlpi7bd4ps7mhci-z3-4.15.3","default":true},{"name":"dev","path":"/nix/store/jia1f1jqbnbvkpcjn7i763x140vq6xln-z3-4.15.3-dev"},{"name":"lib","path":"/nix/store/dnda0q8273gpvlyw42azbi502acxkdji-z3-4.15.3-lib"}]}}}