{"name":"python314Packages.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":"9013764fcc0ea99fa16cf7aa7decf8a5c3889dd2"},"attr_path":"python314Packages.z3-solver"},"last_updated":"2026-10-04T16:11:07Z","outputs":[{"name":"python","path":"/nix/store/lfagsxjv55f99y6aqlq8fdg488va0j1q-z3-5.1.0-python","default":true},{"name":"out","path":"/nix/store/7q4lkprg3d906wmz2g44kmx8ksdr4r7m-z3-5.1.0","default":true},{"name":"dev","path":"/nix/store/da1dfqxnnl35afjnnrgvz4rciyx6zwhk-z3-5.1.0-dev"},{"name":"lib","path":"/nix/store/4ighfj8ici7b6ci5zwsifspad6bax159-z3-5.1.0-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9013764fcc0ea99fa16cf7aa7decf8a5c3889dd2"},"attr_path":"python314Packages.z3-solver"},"last_updated":"2026-10-04T16:11:07Z","outputs":[{"name":"python","path":"/nix/store/hh370nkmwlxbly2nv4y918448cjdcws3-z3-5.1.0-python","default":true},{"name":"out","path":"/nix/store/nyp81fpcnmbswjrf6nf7zria807ym1v7-z3-5.1.0","default":true},{"name":"dev","path":"/nix/store/58qcpsb8if4nn9fjwyzbqgxax0mnn9l2-z3-5.1.0-dev"},{"name":"lib","path":"/nix/store/lvrfxbf437s4m40m7vm4wvsn10hph0m8-z3-5.1.0-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9013764fcc0ea99fa16cf7aa7decf8a5c3889dd2"},"attr_path":"python314Packages.z3-solver"},"last_updated":"2026-10-04T16:11:07Z","outputs":[{"name":"python","path":"/nix/store/y01wi06apg8vz259d7gf97hnkmxhsczl-z3-5.1.0-python","default":true},{"name":"out","path":"/nix/store/67c86pwn416hdrb347bgrpfa54j99kk3-z3-5.1.0","default":true},{"name":"dev","path":"/nix/store/5krczrf07z9h0jip8fasg3n23mkmwx0q-z3-5.1.0-dev"},{"name":"lib","path":"/nix/store/ph5kyprk9x8pyhslv6dlxxfh3yjg2816-z3-5.1.0-lib"}]}}}