nixsearch
nixsearch / pkg / bitwuzla

bitwuzla

A SMT solver for fixed-size bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions
MIT bitwuzla.github.io bitwuzla 12 releases newest changed
bitwuzla@ latest, 3.11, ^3.11, >=3.10 <3.12
version0.9.1 attributebitwuzla rev systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
$ devbox add bitwuzla@0.9.1
$ nix shell github:NixOS/nixpkgs/419fe0f449b3fbe3bdd53d9840288db4509ec32e#bitwuzla  # aarch64-darwin
$ nix shell github:NixOS/nixpkgs/419fe0f449b3fbe3bdd53d9840288db4509ec32e#bitwuzla  # aarch64-linux
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#bitwuzla  # x86_64-darwin
$ nix shell github:NixOS/nixpkgs/419fe0f449b3fbe3bdd53d9840288db4509ec32e#bitwuzla  # x86_64-linux

JSON: /v2/resolve?name=bitwuzla&version=latest

Releases

newest first, as /v2/pkg orders them
Versionarm
mac
arm
linux
x86
mac
x86
linux
AttributeCommitDateOutputs
2022-10-03 ✓✓✓✓ bitwuzla 080a4a27f2
2022-08-07 ✓✓✓✓ bitwuzla e0ed589d74
2021-07-01 ✓✓✓✓ bitwuzla 81094ccd6a
0.9.1resolved ✓✓✓✓ bitwuzla varies
0.9.0 ✓✓✓✓ bitwuzla f44f7788c8
0.8.2 ✓✓✓✓ bitwuzla 09061f748e
0.8.1 ✓✓✓✓ bitwuzla 648f70160c
0.7.0 ✓✓✓✓ bitwuzla a421ac6595
0.6.1 ✓✓✓✓ bitwuzla de1864217b
0.6.0 ✓✓✓✓ bitwuzla 226216574a
0.5.0 ✓✓✓✓ bitwuzla c858402c2a
0.4.0 ✓✓✓✓ bitwuzla 3f316d2a50

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.