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

python313Packages.z3-solver 4.14.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.14.1
systemsaarch64-darwin, x86_64-darwin, x86_64-linux commita16efe5d2fc7455d7328a01f4692bfec152965b3 
$ nix shell github:NixOS/nixpkgs/a16efe5d2fc7455d7328a01f4692bfec152965b3#python313Packages.z3-solver
systemsaarch64-linux commit12a55407652e04dcf2309436eb06fef0d3713ef3 
$ nix shell github:NixOS/nixpkgs/12a55407652e04dcf2309436eb06fef0d3713ef3#python313Packages.z3-solver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python313Packages.z3-solver a16efe5d2fc7
python
/nix/store/565ndfwqm38zbpb82z6fm4cnl28j5a6g-z3-4.14.1-python
out
/nix/store/1fx388ah80fczbq0808sr607wrx16w60-z3-4.14.1
dev (not default)
/nix/store/izp3m90mp8ri1al7b20m7y68ca47aich-z3-4.14.1-dev
lib (not default)
/nix/store/s3qidl51gnvmc9c1yrlbqsxj2akkc248-z3-4.14.1-lib
aarch64-linux
Linux · arm64		 python313Packages.z3-solver 12a55407652e
python
/nix/store/2k750q44ikp7nbpihnfy941wfsmp1sjz-z3-4.14.1-python
out
/nix/store/8q3akjb1az2bvycxxnqf0s90srr3k890-z3-4.14.1
dev (not default)
/nix/store/vavi1lgpyda2d61iaxm24wwdl7da3bh0-z3-4.14.1-dev
lib (not default)
/nix/store/fl087ijiysfj2mhglvvdpj58wifarhva-z3-4.14.1-lib
x86_64-darwin
macOS · x86-64		 python313Packages.z3-solver a16efe5d2fc7
python
/nix/store/54q9pnvnix6mvd6pmxl4by8h8qsh4s0v-z3-4.14.1-python
out
/nix/store/nwpvs54ipz8l53sqiix8pfma3vysg9xg-z3-4.14.1
dev (not default)
/nix/store/slsay538m1sqqil1d9wspghr9m9w164r-z3-4.14.1-dev
lib (not default)
/nix/store/rgh0gvxg9m6j15cfq9vabp1ir6g2dwlg-z3-4.14.1-lib
x86_64-linux
Linux · x86-64		 python313Packages.z3-solver a16efe5d2fc7
python
/nix/store/9gqkhb2nndj73himbm8imv5l160qpprn-z3-4.14.1-python
out
/nix/store/klixbz2lydhbn12n1v58bjz70bqpvjc4-z3-4.14.1
lib (not default)
/nix/store/5mc8a0nzld628iq0x1bil469qv716qbg-z3-4.14.1-lib
dev (not default)
/nix/store/zyfg8i4bnrx698shzg47s7rarnysaj0v-z3-4.14.1-dev
← newer: 4.15.0 all 11 releases older: 4.13.4 →

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