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

python312Packages.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 python312Packages.z3-solver@4.15.3
systemsaarch64-darwin commitf6b44b2401525650256b977063dbcf830f762369 
$ nix shell github:NixOS/nixpkgs/f6b44b2401525650256b977063dbcf830f762369#python312Packages.z3-solver
systemsaarch64-linux, x86_64-darwin commit45ebaee5d90bab997812235564af4cf5107bde89 
$ nix shell github:NixOS/nixpkgs/45ebaee5d90bab997812235564af4cf5107bde89#python312Packages.z3-solver
systemsx86_64-linux commite1ebeec86b771e9d387dd02d82ffdc77ac753abc 
$ nix shell github:NixOS/nixpkgs/e1ebeec86b771e9d387dd02d82ffdc77ac753abc#python312Packages.z3-solver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python312Packages.z3-solver f6b44b240152
python
/nix/store/s3jy1ivrwfk8cxqfw4h5slxhzjpxxkj7-z3-4.15.3-python
out
/nix/store/2s14z7sp6vfmgz5xs5517mzffnz6wrvi-z3-4.15.3
dev (not default)
/nix/store/qf080jvxm9s86w25smlq4rffxcvs65ya-z3-4.15.3-dev
lib (not default)
/nix/store/0a8jl8l73z49xnbnlibsknrij9pqvg0r-z3-4.15.3-lib
aarch64-linux
Linux · arm64		 python312Packages.z3-solver 45ebaee5d90b
python
/nix/store/q835spl7kdg1hm9zyncvjnhwrw0m7f9y-z3-4.15.3-python
out
/nix/store/8nlhh0i1kpl2zvpr7wydjaa2lqbi3n27-z3-4.15.3
dev (not default)
/nix/store/jk5lnwp0b3jl6g3h0ps281ci47ckkr0j-z3-4.15.3-dev
lib (not default)
/nix/store/b495181s99ilfl2xr2jz4nvwxkrf6ryl-z3-4.15.3-lib
x86_64-darwin
macOS · x86-64		 python312Packages.z3-solver 45ebaee5d90b
python
/nix/store/820gm1j2n9xxwqvr3c9kzpj3y6n7v91r-z3-4.15.3-python
out
/nix/store/r62wk5bqkhq1lbg9s7cfyw6wz54yl9yd-z3-4.15.3
dev (not default)
/nix/store/ay0k07clc71sl16vxjacjylgi0gb4pbg-z3-4.15.3-dev
lib (not default)
/nix/store/lkgpmymmxx2mii6zc1hbrrj6s8xynncw-z3-4.15.3-lib
x86_64-linux
Linux · x86-64		 python312Packages.z3-solver e1ebeec86b77
python
/nix/store/q4kp4n47ifrv19ksb9311lv7z03nq9np-z3-4.15.3-python
out
/nix/store/dp2kiawx30gl48yhj5f304abb941wn0x-z3-4.15.3
dev (not default)
/nix/store/xwybi2qmslzsblz0pnxaqbdscz2cc4ri-z3-4.15.3-dev
lib (not default)
/nix/store/pqmdspya1fr4m0ivl90vm7pjigk8crdb-z3-4.15.3-lib
← newer: 4.15.4 all 8 releases older: 4.15.2 →

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