{"name":"python312Packages.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":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"python","path":"/nix/store/yxdg8m2ljnzv7m5s6qm8w4b4d1vd9smh-z3-solver-4.13.4-python","default":true},{"name":"out","path":"/nix/store/aghwdwa1jfzmgyzks5vj5v9cip9cjsfs-z3-solver-4.13.4","default":true},{"name":"dev","path":"/nix/store/qbh633fklfjwrk5bh6nafl75yv4gcz4h-z3-solver-4.13.4-dev"},{"name":"lib","path":"/nix/store/28ry77smv75p3q06adp92grbxczj1yi5-z3-solver-4.13.4-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"507b63021ada5fee621b6ca371c4fca9ca46f52c"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-04-23T03:04:08Z","outputs":[{"name":"python","path":"/nix/store/ixf90as6nxarf1qg1vk7bhfdbqxbdb8v-z3-solver-4.13.4-python","default":true},{"name":"out","path":"/nix/store/x14zwxr9aifbvrf2f0nq5bwlkfsybpwh-z3-solver-4.13.4","default":true},{"name":"lib","path":"/nix/store/q14xqgcz58bg8n5hj5fyyvsz0p86r9qs-z3-solver-4.13.4-lib"},{"name":"dev","path":"/nix/store/n6lpva2psz55mm28bj4lah4mcwmwbmlm-z3-solver-4.13.4-dev"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"python","path":"/nix/store/jzmik45whyiprv0g7m5iynrkwsq09m4p-z3-solver-4.13.4-python","default":true},{"name":"out","path":"/nix/store/mfpcm22wd9jr050i0sjymf5rx441pz66-z3-solver-4.13.4","default":true},{"name":"dev","path":"/nix/store/yj5lv7kg9mv0jyv6r4lx32df2nihnhh1-z3-solver-4.13.4-dev"},{"name":"lib","path":"/nix/store/p22fzshd91viannr3yarwjbfjffpym8g-z3-solver-4.13.4-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"python","path":"/nix/store/zwxs376lavlv0g2s7wq4j53fhc39q6s1-z3-solver-4.13.4-python","default":true},{"name":"out","path":"/nix/store/sx185h1zr8r6nhgsi23vc5gsxz63inf9-z3-solver-4.13.4","default":true},{"name":"dev","path":"/nix/store/hb2khkwgn7ks843kiaaz7y9ah26sfssv-z3-solver-4.13.4-dev"},{"name":"lib","path":"/nix/store/6zyjb30lic4lzrf5cix7kxmykhdfzj8c-z3-solver-4.13.4-lib"}]}}}