nixsearch
nixsearch / pkg / bitwuzla / 2021-07-01

bitwuzla 2021-07-01

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@2021-07-01
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit81094ccd6a0aa13ed176c815a60c4e25b49f072d 
$ nix shell github:NixOS/nixpkgs/81094ccd6a0aa13ed176c815a60c4e25b49f072d#bitwuzla

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 bitwuzla 81094ccd6a0a
out
/nix/store/by4mdk4g4fjkpjn0ca6zkvbn8q2qr4gb-bitwuzla-unstable-2021-07-01
aarch64-linux
Linux · arm64		 bitwuzla 81094ccd6a0a
out
/nix/store/807vpf1nlqnlf2wj80i5mzkkx6s2izi6-bitwuzla-unstable-2021-07-01
x86_64-darwin
macOS · x86-64		 bitwuzla 81094ccd6a0a
out
/nix/store/ljssvvd4f6w378w1ggwlijly7a9pf6s2-bitwuzla-unstable-2021-07-01
x86_64-linux
Linux · x86-64		 bitwuzla 81094ccd6a0a
out
/nix/store/fldkpd6adynza0qjh2br8dj3djmw8hp9-bitwuzla-unstable-2021-07-01
← newer: 2022-08-07 all 12 releases older: 0.9.1 →

JSON: /v2/pkg?name=bitwuzla · /v2/resolve?name=bitwuzla&version=2021-07-01