{"name":"python314Packages.z3-solver","version":"4.16.0","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"python314Packages.z3-solver"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"python","path":"/nix/store/m8xxxr050qz18lim7dx365yyv3hnqm6r-z3-4.16.0-python","default":true},{"name":"out","path":"/nix/store/s0hvp2lp9njyhza1rw5f2wlhsb3x66z0-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/sa3l421c08ayf9xbs83izmspqcxjr3ak-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/wffxsgg099kzcil5vnn3rpg17r62msrb-z3-4.16.0-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"python314Packages.z3-solver"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"python","path":"/nix/store/48pj1y5070mbh19psp496ygq53p302v2-z3-4.16.0-python","default":true},{"name":"out","path":"/nix/store/xnzsfln6b9m30qnxigypr84kn03ijsbl-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/h62bk4qab96xx4qhwv9f05yfyzicimwi-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/7ap4ald95dda6sdnd3ibmph6z5c7dgdl-z3-4.16.0-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"python314Packages.z3-solver"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"python","path":"/nix/store/iam727h1ynmil4j02fzgyi3b9fzm6z1w-z3-4.16.0-python","default":true},{"name":"out","path":"/nix/store/6lzncybvq3ir0900lkwbav2gm5z61ihx-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/8mx8c229cm478g51y2vlxz5j7ba6mf9m-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/v871hmqk2ngqh7min7i1306d31hswlyg-z3-4.16.0-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"python314Packages.z3-solver"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"python","path":"/nix/store/rrm4a4xbqad26ld53xf1pqxriay540di-z3-4.16.0-python","default":true},{"name":"out","path":"/nix/store/wh7aghk1psckkmzha1lkxr5zn7xg4l7z-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/jaa7sylzjhsx41nw8hd23x66l8r93mgd-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/h5j4nq4nb3i4w8rnc53jc39kcsxpg1sa-z3-4.16.0-lib"}]}}}