{"name":"bitwuzla","version":"2021-07-01","summary":"A 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":"81094ccd6a0aa13ed176c815a60c4e25b49f072d"},"attr_path":"bitwuzla"},"last_updated":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/by4mdk4g4fjkpjn0ca6zkvbn8q2qr4gb-bitwuzla-unstable-2021-07-01","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"81094ccd6a0aa13ed176c815a60c4e25b49f072d"},"attr_path":"bitwuzla"},"last_updated":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/807vpf1nlqnlf2wj80i5mzkkx6s2izi6-bitwuzla-unstable-2021-07-01","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"81094ccd6a0aa13ed176c815a60c4e25b49f072d"},"attr_path":"bitwuzla"},"last_updated":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/ljssvvd4f6w378w1ggwlijly7a9pf6s2-bitwuzla-unstable-2021-07-01","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"81094ccd6a0aa13ed176c815a60c4e25b49f072d"},"attr_path":"bitwuzla"},"last_updated":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/fldkpd6adynza0qjh2br8dj3djmw8hp9-bitwuzla-unstable-2021-07-01","default":true}]}}}