{"name":"boolector","version":"3.2.2","summary":"An extremely fast SMT solver for bit-vectors and arrays","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"10b813040df67c4039086db0f6eaf65c536886c6"},"attr_path":"boolector"},"last_updated":"2024-02-10T18:15:24Z","outputs":[{"name":"out","path":"/nix/store/rs7kzibkm1d6wfavxzg96sc4rpgpqhxa-boolector-3.2.2","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"10b813040df67c4039086db0f6eaf65c536886c6"},"attr_path":"boolector"},"last_updated":"2024-02-10T18:15:24Z","outputs":[{"name":"out","path":"/nix/store/h1mca9n8jsnijvlbff34f225ibxz427v-boolector-3.2.2","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"10b813040df67c4039086db0f6eaf65c536886c6"},"attr_path":"boolector"},"last_updated":"2024-02-10T18:15:24Z","outputs":[{"name":"out","path":"/nix/store/cks79lhrdc0gxaryvhc2ldc292aaw3id-boolector-3.2.2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"10b813040df67c4039086db0f6eaf65c536886c6"},"attr_path":"boolector"},"last_updated":"2024-02-10T18:15:24Z","outputs":[{"name":"out","path":"/nix/store/i1dgmm7mgpbk07074r3q9g6byzhjvfhq-boolector-3.2.2","default":true}]}}}