{"name":"python313Packages.z3-solver","version":"5.1.0","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"aa48d347080940b8a2b8d2f48228674e280a3514"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2026-10-05T09:07:57Z","outputs":[{"name":"python","path":"/nix/store/h3krwl19y6c7hir7vxlkfwxmkv8z5lzv-z3-5.1.0-python","default":true},{"name":"out","path":"/nix/store/h3yd6lff0dd7yxhx93xfmkim1vchbcph-z3-5.1.0","default":true},{"name":"dev","path":"/nix/store/9n491xapxznmash90l3qpniwm8xjyfrn-z3-5.1.0-dev"},{"name":"lib","path":"/nix/store/frx4d3cz1pfm1y76sdqkizlw4chalix9-z3-5.1.0-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"aa48d347080940b8a2b8d2f48228674e280a3514"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2026-10-05T09:07:57Z","outputs":[{"name":"python","path":"/nix/store/x5yb7hd4gbcjlzwg1fxfkigdcx3xvyfm-z3-5.1.0-python","default":true},{"name":"out","path":"/nix/store/s2nyzm5ji6srh0lmqapzm2xn0r8a435s-z3-5.1.0","default":true},{"name":"dev","path":"/nix/store/gqpapqh914n1crbysivvmaw1yad85r74-z3-5.1.0-dev"},{"name":"lib","path":"/nix/store/1mqqmd6kryi0jlbswa6ayjj6rkzas4d4-z3-5.1.0-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"aa48d347080940b8a2b8d2f48228674e280a3514"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2026-10-05T09:07:57Z","outputs":[{"name":"python","path":"/nix/store/iskxgk2y2in0j1ydx29fnzgf6f78rvxs-z3-5.1.0-python","default":true},{"name":"out","path":"/nix/store/q4siam96bc7qx7lfawikjqr49l49qib3-z3-5.1.0","default":true},{"name":"dev","path":"/nix/store/fxyz1yhc4w3bap4c13a1wxww9r7n8qqk-z3-5.1.0-dev"},{"name":"lib","path":"/nix/store/1krkzm7jlgm8bzsl31y70sn8zrf994wp-z3-5.1.0-lib"}]}}}