nixsearch
nixsearch / pkg / python314Packages.z3-solver / 4.15.7

python314Packages.z3-solver 4.15.7

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

Pin this version

$ devbox add python314Packages.z3-solver@4.15.7
systemsaarch64-darwin, x86_64-linux commit724cf38d99ba81fbb4a347081db93e2e3a9bc2ae 
$ nix shell github:NixOS/nixpkgs/724cf38d99ba81fbb4a347081db93e2e3a9bc2ae#python314Packages.z3-solver
systemsaarch64-linux, x86_64-darwin commit7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe 
$ nix shell github:NixOS/nixpkgs/7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe#python314Packages.z3-solver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python314Packages.z3-solver 724cf38d99ba
python
/nix/store/3phav67hcik5db85a4b37vq0rja656q2-z3-4.15.7-python
out
/nix/store/c6s63kb1n7zcbilhqqpxsgjzxvqpv16y-z3-4.15.7
lib (not default)
/nix/store/1hp5vwlcr3ld5vlcnkyb0i5p1zwhgs9a-z3-4.15.7-lib
dev (not default)
/nix/store/algps1rsyy2vy93nw4r3l0ic5wac9xdq-z3-4.15.7-dev
aarch64-linux
Linux · arm64		 python314Packages.z3-solver 7d2ae6d8b8b6
python
/nix/store/8jsz9nsqj684qy0idiadyffhmn4s9c2v-z3-4.15.7-python
out
/nix/store/h5yph24mq1wya92dkpjn7271mz6ywd55-z3-4.15.7
dev (not default)
/nix/store/67fahsv8jh4kh910sdrmwk3w1lpiw9lp-z3-4.15.7-dev
lib (not default)
/nix/store/w9c47ygl076izv4g9hxgp4jzxyxyddlq-z3-4.15.7-lib
x86_64-darwin
macOS · x86-64		 python314Packages.z3-solver 7d2ae6d8b8b6
python
/nix/store/axcdccnr6f2mzbv9zcaxkpsgb5k8fjp1-z3-4.15.7-python
out
/nix/store/pgad9w9lgwjv9i1ryipcpyl61zz6chr8-z3-4.15.7
dev (not default)
/nix/store/n381g19z93qikvc3vi867vvss59y47kh-z3-4.15.7-dev
lib (not default)
/nix/store/2d6ag7f7kx7r6v6y7b6hr2qn0qqcsn14-z3-4.15.7-lib
x86_64-linux
Linux · x86-64		 python314Packages.z3-solver 724cf38d99ba
python
/nix/store/kvz4w75a25vmivvnrisv6gcrbmj91ydn-z3-4.15.7-python
out
/nix/store/h7jdga0031q0ailfp8ivlsm8d6w3qkx4-z3-4.15.7
lib (not default)
/nix/store/apnksf7pq9f3v767jny6j9hcdf3kbz3w-z3-4.15.7-lib
dev (not default)
/nix/store/ywn465csfnrcah4km5wb1xf9vnz2h1ah-z3-4.15.7-dev
← newer: 4.15.8 all 4 releases older: 4.15.4 →

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