{"name":"bitwuzla","version":"0.6.1","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":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"bitwuzla"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/kxp03a7djp4v5p5pddbwin26zwmc4c62-bitwuzla-0.6.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"bitwuzla"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/p9mprg52ainarpaqd8il0czd85yxvbq6-bitwuzla-0.6.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"bitwuzla"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/5psyixc0k4403cvxvn26hj2x8pvivjwd-bitwuzla-0.6.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"bitwuzla"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/ij3pdqady687v3cab0qflhls1rncaf7i-bitwuzla-0.6.1","default":true}]}}}