{"name":"bitwuzla","version":"0.8.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":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"bitwuzla"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/h21klijszppmpviwbz62yfb43j7v12av-bitwuzla-0.8.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"bitwuzla"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/pr5ycprab38cgzbipzi7p4zax3dlqi15-bitwuzla-0.8.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"bitwuzla"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/n747my12x6mmwssrjxr2l836n9ih956r-bitwuzla-0.8.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"bitwuzla"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/77gp2qgmb47ljj7k29y79hnf4miwz8v9-bitwuzla-0.8.1","default":true}]}}}