nixsearch
nixsearch / pkg / bitwuzla / 2022-10-03

bitwuzla 2022-10-03

A SMT solver for fixed-size bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions
Linux and macOS last changed

Pin this version

$ devbox add bitwuzla@2022-10-03
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit080a4a27f206d07724b88da096e27ef63401a504 
$ nix shell github:NixOS/nixpkgs/080a4a27f206d07724b88da096e27ef63401a504#bitwuzla

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 bitwuzla 080a4a27f206
out
/nix/store/a1nym7lq7m2hp73f38zfqz7jf5qidn14-bitwuzla-unstable-2022-10-03
aarch64-linux
Linux · arm64		 bitwuzla 080a4a27f206
out
/nix/store/1vsp4fvfxmlfcjsxwjwb0zr638m8pk9x-bitwuzla-unstable-2022-10-03
x86_64-darwin
macOS · x86-64		 bitwuzla 080a4a27f206
out
/nix/store/rsmpafh163yhrzs9kl1ba8imaivb9i24-bitwuzla-unstable-2022-10-03
x86_64-linux
Linux · x86-64		 bitwuzla 080a4a27f206
out
/nix/store/h1y8gcclzgfdvg8c7z7lagiif7z8lqrg-bitwuzla-unstable-2022-10-03
all 12 releases older: 2022-08-07 →

JSON: /v2/pkg?name=bitwuzla · /v2/resolve?name=bitwuzla&version=2022-10-03