{"name":"z3","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":"z3"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"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"},{"name":"python","path":"/nix/store/m8xxxr050qz18lim7dx365yyv3hnqm6r-z3-4.16.0-python"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"z3"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"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"},{"name":"python","path":"/nix/store/48pj1y5070mbh19psp496ygq53p302v2-z3-4.16.0-python"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e8273b29fe1390ec8d4603f2477357555291432e"},"attr_path":"z3"},"last_updated":"2026-07-01T15:14:03Z","outputs":[{"name":"out","path":"/nix/store/5pp0w2532qr07hvyq53pcxpw5bb8nh8s-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/h92aaagdqp7p95a69cbvxhyld5jmvn14-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/kmvmbmvaaji5qri5i1b5qj5xj7d7icsy-z3-4.16.0-lib"},{"name":"python","path":"/nix/store/d453pzdj7kl8z4y4jlv99m0xs9m5kn5s-z3-4.16.0-python"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"z3"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"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"},{"name":"python","path":"/nix/store/rrm4a4xbqad26ld53xf1pqxriay540di-z3-4.16.0-python"}]}}}