{"name":"python310Packages.z3-solver","summary":"A high-performance theorem prover and SMT solver","description":"","homepage_url":"https://github.com/Z3Prover/z3","license":"MIT","attribute_paths":["python310Packages.z3-solver"],"releases":[{"version":"4.8.17","last_updated":"2024-01-09T23:22:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python310Packages.z3-solver","commit_hash":"e1fa12d4f6c6fe19ccb59cac54b5b3f25e160870","date":"2023-12-25T10:13:25Z","outputs":[{"name":"python","path":"/nix/store/2znk5s4bgfhmbq3n2l51p8bz7c8im08g-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/233rcw10a9x2xm9iszsil4rrrkncgqy1-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/3ihh892b0sx3rmd5kx0mwsmxwcl53df3-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/6b5grqcg6mqj9ykavbyvvgmv7am05psd-z3-solver-4.8.17-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python310Packages.z3-solver","commit_hash":"dd8e82f3b4017b8faa52c2b1897a38d53c3c26cb","date":"2023-12-18T22:32:18Z","outputs":[{"name":"python","path":"/nix/store/pq1dmyzdny67jibql9dw1f1z4wlz3jrh-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/b7b30wfgmwbzla7gk71gfsx7fxd580p2-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/h5m7kqcjzia9k9m3sr0fayhcpqhsn3jq-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/ni88f83ry27w0v4ljx441ad03zii71jf-z3-solver-4.8.17-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python310Packages.z3-solver","commit_hash":"eabe8d3eface69f5bb16c18f8662a702f50c20d5","date":"2024-01-09T23:22:09Z","outputs":[{"name":"python","path":"/nix/store/1m3wdg51jcp90c0nalj3v8w7rwkds606-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/s49g89bqsy8v9ja8p0m07kfgrpprzgxl-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/a44lwmwb8kmxyi0c4nd43bmppdwnfmaw-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/il6qrdgcxmbksi8njq5mgndl4bl1vhkd-z3-solver-4.8.17-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python310Packages.z3-solver","commit_hash":"d44d59d2b5bd694cd9d996fd8c51d03e3e9ba7f7","date":"2023-12-31T07:44:09Z","outputs":[{"name":"python","path":"/nix/store/04kn1cvgn2z9b26lqb1vd8wk340kl0mn-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/bch9ha5lpn88dwlf8ndjdvrdnqn6kv8s-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/im9n2fvlc90x8323gm03v5702g6ji09n-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/q76r5si0hzki87isalw1r2lrwc82fjmq-z3-solver-4.8.17-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false}]}