{"name":"python312Packages.z3-solver","version":"4.14.1","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8406224e30c258025cb8b31704bdb977a8f1f009"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-05-18T01:51:26Z","outputs":[{"name":"python","path":"/nix/store/lsp8wa2aq42mm6h5zwg8kszyvwcwwzfx-z3-4.14.1-python","default":true},{"name":"out","path":"/nix/store/l776nr8jwggqb7h172jz9p4816y3r06w-z3-4.14.1","default":true},{"name":"dev","path":"/nix/store/kci2wvw853b0bc8bpv2xxgs9f87p6ald-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/cd2ii4q155q6pd2jkrf02vwr78hzlsgl-z3-4.14.1-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"python","path":"/nix/store/y2izycbfv11576lg4rvipdki8vpn0cg4-z3-4.14.1-python","default":true},{"name":"out","path":"/nix/store/xs69rjj7z3d6vvdhr2p52k7fvnhx90ri-z3-4.14.1","default":true},{"name":"dev","path":"/nix/store/saa022jbl0l2l3ziha128n21qj5lyf8f-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/zki09dlfvrdpnq7w4jnj1m15jksf2iq9-z3-4.14.1-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"python","path":"/nix/store/rhhh8pqir91j0lv2ygm1f2bgvbwrz41p-z3-4.14.1-python","default":true},{"name":"out","path":"/nix/store/xq50d24c6ncmr8pih7ghjgqkz5qgzf85-z3-4.14.1","default":true},{"name":"dev","path":"/nix/store/qc3vwxd4vz5yvhjrwn0lhvq7rjp5nqgc-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/cypwi18xk0cv0bdsmzisr1c52m179iq7-z3-4.14.1-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"359c442b7d1f6229c1dc978116d32d6c07fe8440"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-05-19T23:16:24Z","outputs":[{"name":"python","path":"/nix/store/563m9c72b7gbcyin2h31bfs20ky00cgz-z3-4.14.1-python","default":true},{"name":"out","path":"/nix/store/kib2kcz9gss2rzh5mdmx58cwkj18kc64-z3-4.14.1","default":true},{"name":"dev","path":"/nix/store/cygziaavfajj7dhkqw4y0vc74d3xsiy7-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/viy5m05f1i6yl09c666ycbg538wg2r0s-z3-4.14.1-lib"}]}}}