nixsearch
nixsearch / pkg / python313Packages.z3-solver / 4.15.3

python313Packages.z3-solver 4.15.3

High-performance theorem prover and SMT solver
Linux and macOS last changed outputs: out, python, dev, lib

Pin this version

$ devbox add python313Packages.z3-solver@4.15.3
systemsaarch64-darwin, x86_64-darwin commitf6b44b2401525650256b977063dbcf830f762369 
$ nix shell github:NixOS/nixpkgs/f6b44b2401525650256b977063dbcf830f762369#python313Packages.z3-solver
systemsaarch64-linux commit02f2cb8e0feb4596d20cc52fda73ccee960e3538 
$ nix shell github:NixOS/nixpkgs/02f2cb8e0feb4596d20cc52fda73ccee960e3538#python313Packages.z3-solver
systemsx86_64-linux commitde69d2ba6c70e747320df9c096523b623d3a4c35 
$ nix shell github:NixOS/nixpkgs/de69d2ba6c70e747320df9c096523b623d3a4c35#python313Packages.z3-solver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python313Packages.z3-solver f6b44b240152
python
/nix/store/fp8230nk309vf8m6bln2r3zxkxyy2vqc-z3-4.15.3-python
out
/nix/store/880imkc4qibxibp9jwalw1wl2bn7vcsf-z3-4.15.3
lib (not default)
/nix/store/633dqzn103p8dk5mgqsrk3bnl32jc4zc-z3-4.15.3-lib
dev (not default)
/nix/store/sqzdhirr8bix34kv11kzmljx8lp8ycz1-z3-4.15.3-dev
aarch64-linux
Linux · arm64		 python313Packages.z3-solver 02f2cb8e0feb
python
/nix/store/55s1jz01w90w1lvwxlx1x5z6jb46pjzv-z3-4.15.3-python
out
/nix/store/xqs229030i0jq0ikpndd3c6im0gp2vw6-z3-4.15.3
dev (not default)
/nix/store/0yi5icfkad2fxzhxf639nbf9xynhp4j0-z3-4.15.3-dev
lib (not default)
/nix/store/0l59492h9prjy2fgpqwv27rdc5dp2c7f-z3-4.15.3-lib
x86_64-darwin
macOS · x86-64		 python313Packages.z3-solver f6b44b240152
python
/nix/store/dpjz9mp29dl4kchcwn45cpryds0yj2sq-z3-4.15.3-python
out
/nix/store/8lpf2fr676nsf31kmpsz07bbfal7f9vc-z3-4.15.3
dev (not default)
/nix/store/giwha0acn1q8sr91kmp1lb27jhvvdlq3-z3-4.15.3-dev
lib (not default)
/nix/store/a3jjbr2a08h233q5mbghg41p93gdiy6y-z3-4.15.3-lib
x86_64-linux
Linux · x86-64		 python313Packages.z3-solver de69d2ba6c70
python
/nix/store/8xflg6m9wci08sfm18khbrc773zsrq5c-z3-4.15.3-python
out
/nix/store/x6z3sjmccszacl1xvdlpi7bd4ps7mhci-z3-4.15.3
dev (not default)
/nix/store/jia1f1jqbnbvkpcjn7i763x140vq6xln-z3-4.15.3-dev
lib (not default)
/nix/store/dnda0q8273gpvlyw42azbi502acxkdji-z3-4.15.3-lib
← newer: 4.15.4 all 11 releases older: 4.15.2 →

JSON: /v2/pkg?name=python313Packages.z3-solver · /v2/resolve?name=python313Packages.z3-solver&version=4.15.3