{"name":"z3_4_14","summary":"High-performance theorem prover and SMT solver","description":"","homepage_url":"https://github.com/Z3Prover/z3","license":"MIT","attribute_paths":["z3_4_14"],"releases":[{"version":"4.14.1","last_updated":"2025-05-22T03:53:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3_4_14","commit_hash":"8c441601c43232976179eac52dde704c8bdf81ed","date":"2025-05-21T18:43:04Z","outputs":[{"name":"out","path":"/nix/store/l776nr8jwggqb7h172jz9p4816y3r06w-z3-4.14.1","default":true},{"name":"python","path":"/nix/store/lsp8wa2aq42mm6h5zwg8kszyvwcwwzfx-z3-4.14.1-python"},{"name":"dev","path":"/nix/store/kci2wvw853b0bc8bpv2xxgs9f87p6ald-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/cd2ii4q155q6pd2jkrf02vwr78hzlsgl-z3-4.14.1-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3_4_14","commit_hash":"2f9173bde1d3fbf1ad26ff6d52f952f9e9da52ea","date":"2025-05-20T08:00:33Z","outputs":[{"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"},{"name":"python","path":"/nix/store/y2izycbfv11576lg4rvipdki8vpn0cg4-z3-4.14.1-python"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3_4_14","commit_hash":"a16efe5d2fc7455d7328a01f4692bfec152965b3","date":"2025-05-22T03:53:02Z","outputs":[{"name":"out","path":"/nix/store/xq50d24c6ncmr8pih7ghjgqkz5qgzf85-z3-4.14.1","default":true},{"name":"lib","path":"/nix/store/cypwi18xk0cv0bdsmzisr1c52m179iq7-z3-4.14.1-lib"},{"name":"python","path":"/nix/store/rhhh8pqir91j0lv2ygm1f2bgvbwrz41p-z3-4.14.1-python"},{"name":"dev","path":"/nix/store/qc3vwxd4vz5yvhjrwn0lhvq7rjp5nqgc-z3-4.14.1-dev"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3_4_14","commit_hash":"a16efe5d2fc7455d7328a01f4692bfec152965b3","date":"2025-05-22T03:53:02Z","outputs":[{"name":"out","path":"/nix/store/kib2kcz9gss2rzh5mdmx58cwkj18kc64-z3-4.14.1","default":true},{"name":"python","path":"/nix/store/563m9c72b7gbcyin2h31bfs20ky00cgz-z3-4.14.1-python"},{"name":"dev","path":"/nix/store/cygziaavfajj7dhkqw4y0vc74d3xsiy7-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/viy5m05f1i6yl09c666ycbg538wg2r0s-z3-4.14.1-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","prerelease":false,"broken":false,"insecure":false}]}