{"name":"python313Packages.z3-solver","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":"python313Packages.z3-solver"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"python","path":"/nix/store/xnds6fj5wr4v8pir7y5nsvl1gqjchxl3-z3-4.16.0-python","default":true},{"name":"out","path":"/nix/store/ksd9j5fspqk167xxz7lxybdxzaqvka93-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/gjxg3v654d24jldrqplgydgsvgnv39jr-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/6a5mq9b0bzsc0yny5dj0491z51gn70ks-z3-4.16.0-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"python","path":"/nix/store/65yxbdhhzq8hsdr5bqqxa8d3wf8vpnva-z3-4.16.0-python","default":true},{"name":"out","path":"/nix/store/fspvxfpjrsgbbwr07b8y50jbl8s1rrqg-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/q4af9dqil5ayf005v608qir94pk84sqq-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/y2c93qfksmpxh32dv5qrwrcvy7hw3wjm-z3-4.16.0-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d33369954a67ae3322177dc9a3d564092912120c"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2026-07-02T07:55:03Z","outputs":[{"name":"python","path":"/nix/store/d453pzdj7kl8z4y4jlv99m0xs9m5kn5s-z3-4.16.0-python","default":true},{"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"python","path":"/nix/store/hhjr6fd8c462qqg5p7gy07m9q4s26mcl-z3-4.16.0-python","default":true},{"name":"out","path":"/nix/store/avwxyzzwf5r0sz57jykdp69a5avcjsmm-z3-4.16.0","default":true},{"name":"dev","path":"/nix/store/pwkgkpqgyaa7x6m3zmsb06mjpwaj28jr-z3-4.16.0-dev"},{"name":"lib","path":"/nix/store/29292zmr1kanglmsnls5sr3038jydvzi-z3-4.16.0-lib"}]}}}