{"name":"bitwuzla","version":"0.5.0","summary":"SMT solver for fixed-size bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c858402c2a629211153137fb8d39be9fde4694ff"},"attr_path":"bitwuzla"},"last_updated":"2024-10-18T06:41:56Z","outputs":[{"name":"out","path":"/nix/store/6gc3ng3j5g66254n4axcdfn39y2jdr44-bitwuzla-0.5.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c858402c2a629211153137fb8d39be9fde4694ff"},"attr_path":"bitwuzla"},"last_updated":"2024-10-18T06:41:56Z","outputs":[{"name":"out","path":"/nix/store/yb0y24pdqra6v885cqnk3dpmnmjpi3i3-bitwuzla-0.5.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c858402c2a629211153137fb8d39be9fde4694ff"},"attr_path":"bitwuzla"},"last_updated":"2024-10-18T06:41:56Z","outputs":[{"name":"out","path":"/nix/store/jh132fkg46ylzhbdw2zmacrhx2ks3949-bitwuzla-0.5.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c858402c2a629211153137fb8d39be9fde4694ff"},"attr_path":"bitwuzla"},"last_updated":"2024-10-18T06:41:56Z","outputs":[{"name":"out","path":"/nix/store/949bv6d51p2c9l5zwwa9dzyjw6ha90gy-bitwuzla-0.5.0","default":true}]}}}