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

python313Packages.z3-solver 4.15.1

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.1
systemsaarch64-darwin commit0d00f23f023b7215b3f1035adb5247c8ec180dbc 
$ nix shell github:NixOS/nixpkgs/0d00f23f023b7215b3f1035adb5247c8ec180dbc#python313Packages.z3-solver
systemsaarch64-linux commit2baf8e1658cba84a032c3a8befb1e7b06629242a 
$ nix shell github:NixOS/nixpkgs/2baf8e1658cba84a032c3a8befb1e7b06629242a#python313Packages.z3-solver
systemsx86_64-darwin commitfa0ef8a6bb1651aa26c939aeb51b5f499e86b0ec 
$ nix shell github:NixOS/nixpkgs/fa0ef8a6bb1651aa26c939aeb51b5f499e86b0ec#python313Packages.z3-solver
systemsx86_64-linux commitb74a30dbc0a72e20df07d43109339f780b439291 
$ nix shell github:NixOS/nixpkgs/b74a30dbc0a72e20df07d43109339f780b439291#python313Packages.z3-solver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python313Packages.z3-solver 0d00f23f023b
python
/nix/store/f0x55237l2cwiaaadizi77sm9x6cn784-z3-4.15.1-python
out
/nix/store/k99sh82jhp8bvf9xc2h0zbcz5gkpzrx1-z3-4.15.1
dev (not default)
/nix/store/108d6y8g3dv7pc8sdb4hjp5z9fiz4xbm-z3-4.15.1-dev
lib (not default)
/nix/store/ca7j91qgclc9p76wl2jrh9hxrlvkiqqi-z3-4.15.1-lib
aarch64-linux
Linux · arm64		 python313Packages.z3-solver 2baf8e1658cb
python
/nix/store/62yz9ngfjsdys08693c8vdwfxcjkp6pz-z3-4.15.1-python
out
/nix/store/rgmhrwdjpz6qj1ryf1rc94b7vh0kqb29-z3-4.15.1
dev (not default)
/nix/store/qvjfm3fwx06547xll3lhqlgqc6rcqw9z-z3-4.15.1-dev
lib (not default)
/nix/store/yf223vlc4fp9w4cc4fg48f50wb4shhin-z3-4.15.1-lib
x86_64-darwin
macOS · x86-64		 python313Packages.z3-solver fa0ef8a6bb16
python
/nix/store/szcyiwnnal1gnyyrmc3dl6vlivwik22h-z3-4.15.1-python
out
/nix/store/66217dakf5c9i55jpxgmv8z52win4nyb-z3-4.15.1
dev (not default)
/nix/store/0grh763bp9j3xpqzsxa6ixrzmjd8nsw5-z3-4.15.1-dev
lib (not default)
/nix/store/5qvlvkwa089gmc83l9nkdgp2wl3c60v4-z3-4.15.1-lib
x86_64-linux
Linux · x86-64		 python313Packages.z3-solver b74a30dbc0a7
python
/nix/store/nb26rj56mfndxb9m4j2xvm814n88s112-z3-4.15.1-python
out
/nix/store/l8scbrvzzfd54kpqpw0dwlqwl7fn7918-z3-4.15.1
dev (not default)
/nix/store/c9za1dmgd3yldk1mbpikkra3hkxgjaki-z3-4.15.1-dev
lib (not default)
/nix/store/5sx5mldl94hm06hgy88s4im0x857hxhr-z3-4.15.1-lib
← newer: 4.15.2 all 11 releases older: 4.15.0 →

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