{"name":"bitwuzla","summary":"A SMT solver for fixed-size bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions","description":"","homepage_url":"https://bitwuzla.github.io","license":"MIT","attribute_paths":["bitwuzla"],"releases":[{"version":"2022-10-03","last_updated":"2024-04-02T02:53:36Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"bitwuzla","commit_hash":"080a4a27f206d07724b88da096e27ef63401a504","date":"2024-04-02T02:53:36Z","outputs":[{"name":"out","path":"/nix/store/a1nym7lq7m2hp73f38zfqz7jf5qidn14-bitwuzla-unstable-2022-10-03","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"bitwuzla","commit_hash":"080a4a27f206d07724b88da096e27ef63401a504","date":"2024-04-02T02:53:36Z","outputs":[{"name":"out","path":"/nix/store/1vsp4fvfxmlfcjsxwjwb0zr638m8pk9x-bitwuzla-unstable-2022-10-03","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"bitwuzla","commit_hash":"080a4a27f206d07724b88da096e27ef63401a504","date":"2024-04-02T02:53:36Z","outputs":[{"name":"out","path":"/nix/store/rsmpafh163yhrzs9kl1ba8imaivb9i24-bitwuzla-unstable-2022-10-03","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"bitwuzla","commit_hash":"080a4a27f206d07724b88da096e27ef63401a504","date":"2024-04-02T02:53:36Z","outputs":[{"name":"out","path":"/nix/store/h1y8gcclzgfdvg8c7z7lagiif7z8lqrg-bitwuzla-unstable-2022-10-03","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-08-07","last_updated":"2022-10-11T10:16:04Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"bitwuzla","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/pyysi2y1lvyzsw8qpacdjhn6fjw85s06-bitwuzla-unstable-2022-08-07","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"bitwuzla","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/jjr7149dr58f0m16v6dr7bbcqvfimin2-bitwuzla-unstable-2022-08-07","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"bitwuzla","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/wkq9xbpq1l28yzlliry73x520lkm9n1l-bitwuzla-unstable-2022-08-07","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"bitwuzla","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/9ir21j0wi0jqg4nawwlynj0nz2vxfqq9-bitwuzla-unstable-2022-08-07","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2021-07-01","last_updated":"2022-08-03T16:04:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"bitwuzla","commit_hash":"81094ccd6a0aa13ed176c815a60c4e25b49f072d","date":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/by4mdk4g4fjkpjn0ca6zkvbn8q2qr4gb-bitwuzla-unstable-2021-07-01","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"bitwuzla","commit_hash":"81094ccd6a0aa13ed176c815a60c4e25b49f072d","date":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/807vpf1nlqnlf2wj80i5mzkkx6s2izi6-bitwuzla-unstable-2021-07-01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"bitwuzla","commit_hash":"81094ccd6a0aa13ed176c815a60c4e25b49f072d","date":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/ljssvvd4f6w378w1ggwlijly7a9pf6s2-bitwuzla-unstable-2021-07-01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"bitwuzla","commit_hash":"81094ccd6a0aa13ed176c815a60c4e25b49f072d","date":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/fldkpd6adynza0qjh2br8dj3djmw8hp9-bitwuzla-unstable-2021-07-01","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.1","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"bitwuzla","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/d2dq3n1wcggm8py9nglv42rqj0h51bkl-bitwuzla-0.9.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"bitwuzla","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/hcmgscwlmjj4i5x7vkwi6dwxyfjyar5l-bitwuzla-0.9.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"bitwuzla","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/iwgjh6vs9ail0c84c52sdyihpvw38nci-bitwuzla-0.9.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"bitwuzla","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/n77h6w2179hn6m2s4kpqhgwff8ckazqw-bitwuzla-0.9.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.0","last_updated":"2026-05-26T09:13:58Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"bitwuzla","commit_hash":"f44f7788c891fbe5542177df78374f8cdab10e8f","date":"2026-05-26T09:13:58Z","outputs":[{"name":"out","path":"/nix/store/22gfimhz05m364nb82bjm9idz07yqll8-bitwuzla-0.9.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"bitwuzla","commit_hash":"f44f7788c891fbe5542177df78374f8cdab10e8f","date":"2026-05-26T09:13:58Z","outputs":[{"name":"out","path":"/nix/store/xk39yfr9qw7sf1cdzy5ic43dckv3bh63-bitwuzla-0.9.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"bitwuzla","commit_hash":"f44f7788c891fbe5542177df78374f8cdab10e8f","date":"2026-05-26T09:13:58Z","outputs":[{"name":"out","path":"/nix/store/zl1d4vkpbdl637w4a2zh6rcg035ww6aw-bitwuzla-0.9.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"bitwuzla","commit_hash":"f44f7788c891fbe5542177df78374f8cdab10e8f","date":"2026-05-26T09:13:58Z","outputs":[{"name":"out","path":"/nix/store/jjnqf4a2k9cgkp1161bs67qggdlkqiki-bitwuzla-0.9.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.8.2","last_updated":"2026-03-21T07:29:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"bitwuzla","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/3vfkn749cba96iphp629hfr5gdh67lw8-bitwuzla-0.8.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"bitwuzla","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/wrzpbknfpbmd646i121n5ai0q2lcr89j-bitwuzla-0.8.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"bitwuzla","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/6kn60nvrjbja419k1m5alx0pf5dgvymh-bitwuzla-0.8.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"bitwuzla","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/5w1sgmpydyn60kmka7k3yd9zlaj52crd-bitwuzla-0.8.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.8.1","last_updated":"2025-07-28T17:09:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"bitwuzla","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/h21klijszppmpviwbz62yfb43j7v12av-bitwuzla-0.8.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"bitwuzla","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/pr5ycprab38cgzbipzi7p4zax3dlqi15-bitwuzla-0.8.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"bitwuzla","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/n747my12x6mmwssrjxr2l836n9ih956r-bitwuzla-0.8.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"bitwuzla","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/77gp2qgmb47ljj7k29y79hnf4miwz8v9-bitwuzla-0.8.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.7.0","last_updated":"2025-07-13T22:45:35Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"bitwuzla","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/75ylncrhvf65wfwayxr86jvk23kgg3vk-bitwuzla-0.7.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"bitwuzla","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/inhp1s5d1nqa7d7nh3v0bz27cj83wfjk-bitwuzla-0.7.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"bitwuzla","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/n46dqbk41bykbk2p834adks9rl9nq42d-bitwuzla-0.7.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"bitwuzla","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/xfcynmb86jh5r0qv52ynvrjj9gmyax4q-bitwuzla-0.7.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.6.1","last_updated":"2024-12-23T21:10:33Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"bitwuzla","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/kxp03a7djp4v5p5pddbwin26zwmc4c62-bitwuzla-0.6.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"bitwuzla","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/p9mprg52ainarpaqd8il0czd85yxvbq6-bitwuzla-0.6.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"bitwuzla","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/5psyixc0k4403cvxvn26hj2x8pvivjwd-bitwuzla-0.6.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"bitwuzla","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/ij3pdqady687v3cab0qflhls1rncaf7i-bitwuzla-0.6.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.6.0","last_updated":"2024-11-28T07:51:56Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"bitwuzla","commit_hash":"226216574ada4c3ecefcbbec41f39ce4655f78ef","date":"2024-11-28T07:51:56Z","outputs":[{"name":"out","path":"/nix/store/2xaprdrwd1nakh3f7bz5fx5i0li9pbp9-bitwuzla-0.6.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"bitwuzla","commit_hash":"226216574ada4c3ecefcbbec41f39ce4655f78ef","date":"2024-11-28T07:51:56Z","outputs":[{"name":"out","path":"/nix/store/5qb0c7ka0m4mrpwph8n4bii8minnq7ag-bitwuzla-0.6.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"bitwuzla","commit_hash":"226216574ada4c3ecefcbbec41f39ce4655f78ef","date":"2024-11-28T07:51:56Z","outputs":[{"name":"out","path":"/nix/store/l6n3hpj6042wjd359n6ldgfxcjig7d3a-bitwuzla-0.6.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"bitwuzla","commit_hash":"226216574ada4c3ecefcbbec41f39ce4655f78ef","date":"2024-11-28T07:51:56Z","outputs":[{"name":"out","path":"/nix/store/j0a8sf408n163gvj88683kcfr8a08pia-bitwuzla-0.6.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.5.0","last_updated":"2024-10-18T06:41:56Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"bitwuzla","commit_hash":"c858402c2a629211153137fb8d39be9fde4694ff","date":"2024-10-18T06:41:56Z","outputs":[{"name":"out","path":"/nix/store/6gc3ng3j5g66254n4axcdfn39y2jdr44-bitwuzla-0.5.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"bitwuzla","commit_hash":"c858402c2a629211153137fb8d39be9fde4694ff","date":"2024-10-18T06:41:56Z","outputs":[{"name":"out","path":"/nix/store/yb0y24pdqra6v885cqnk3dpmnmjpi3i3-bitwuzla-0.5.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"bitwuzla","commit_hash":"c858402c2a629211153137fb8d39be9fde4694ff","date":"2024-10-18T06:41:56Z","outputs":[{"name":"out","path":"/nix/store/jh132fkg46ylzhbdw2zmacrhx2ks3949-bitwuzla-0.5.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"bitwuzla","commit_hash":"c858402c2a629211153137fb8d39be9fde4694ff","date":"2024-10-18T06:41:56Z","outputs":[{"name":"out","path":"/nix/store/949bv6d51p2c9l5zwwa9dzyjw6ha90gy-bitwuzla-0.5.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.4.0","last_updated":"2024-05-22T06:18:38Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"bitwuzla","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/z2z8yy0vmjkzcsawmgphkvslf5b0fddf-bitwuzla-0.4.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"bitwuzla","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/a8wmz7cyx7dqmg7sh499q8prym1dc7r0-bitwuzla-0.4.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"bitwuzla","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/zqx0gnxby890jxivsmkpjp814x4gdgxr-bitwuzla-0.4.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"bitwuzla","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/yl0lwqqlwvdkgc7qv04zzkb8dk42w6a5-bitwuzla-0.4.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}