nixsearch
nixsearch / pkg / bitwuzla / 2022-08-07

bitwuzla 2022-08-07

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-08-07
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commite0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3 
$ nix shell github:NixOS/nixpkgs/e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3#bitwuzla

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 bitwuzla e0ed589d7422
out
/nix/store/pyysi2y1lvyzsw8qpacdjhn6fjw85s06-bitwuzla-unstable-2022-08-07
aarch64-linux
Linux · arm64		 bitwuzla e0ed589d7422
out
/nix/store/jjr7149dr58f0m16v6dr7bbcqvfimin2-bitwuzla-unstable-2022-08-07
x86_64-darwin
macOS · x86-64		 bitwuzla e0ed589d7422
out
/nix/store/wkq9xbpq1l28yzlliry73x520lkm9n1l-bitwuzla-unstable-2022-08-07
x86_64-linux
Linux · x86-64		 bitwuzla e0ed589d7422
out
/nix/store/9ir21j0wi0jqg4nawwlynj0nz2vxfqq9-bitwuzla-unstable-2022-08-07
← newer: 2022-10-03 all 12 releases older: 2021-07-01 →

JSON: /v2/pkg?name=bitwuzla · /v2/resolve?name=bitwuzla&version=2022-08-07