{"name":"bitwuzla","version":"0.9.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":"f44f7788c891fbe5542177df78374f8cdab10e8f"},"attr_path":"bitwuzla"},"last_updated":"2026-05-26T09:13:58Z","outputs":[{"name":"out","path":"/nix/store/22gfimhz05m364nb82bjm9idz07yqll8-bitwuzla-0.9.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f44f7788c891fbe5542177df78374f8cdab10e8f"},"attr_path":"bitwuzla"},"last_updated":"2026-05-26T09:13:58Z","outputs":[{"name":"out","path":"/nix/store/xk39yfr9qw7sf1cdzy5ic43dckv3bh63-bitwuzla-0.9.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f44f7788c891fbe5542177df78374f8cdab10e8f"},"attr_path":"bitwuzla"},"last_updated":"2026-05-26T09:13:58Z","outputs":[{"name":"out","path":"/nix/store/zl1d4vkpbdl637w4a2zh6rcg035ww6aw-bitwuzla-0.9.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f44f7788c891fbe5542177df78374f8cdab10e8f"},"attr_path":"bitwuzla"},"last_updated":"2026-05-26T09:13:58Z","outputs":[{"name":"out","path":"/nix/store/jjnqf4a2k9cgkp1161bs67qggdlkqiki-bitwuzla-0.9.0","default":true}]}}}