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

python314Packages.z3-solver 4.15.8

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.8
systemsaarch64-darwin commitdfd9566f82a6e1d55c30f861879186440614696e 
$ nix shell github:NixOS/nixpkgs/dfd9566f82a6e1d55c30f861879186440614696e#python314Packages.z3-solver
systemsaarch64-linux commitb0188973b4b2a5b6bdba8b65381d6cd09a533da0 
$ nix shell github:NixOS/nixpkgs/b0188973b4b2a5b6bdba8b65381d6cd09a533da0#python314Packages.z3-solver
systemsx86_64-darwin commitdc72a9d2282085d97d5a2cc8e7103a68ed4de188 
$ nix shell github:NixOS/nixpkgs/dc72a9d2282085d97d5a2cc8e7103a68ed4de188#python314Packages.z3-solver
systemsx86_64-linux commit456e8a9468b9d46bd8c9524425026c00745bc4d2 
$ nix shell github:NixOS/nixpkgs/456e8a9468b9d46bd8c9524425026c00745bc4d2#python314Packages.z3-solver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python314Packages.z3-solver dfd9566f82a6
python
/nix/store/0i8ig33as7rrs4y91yjzw1gps8z1szy9-z3-4.15.8-python
out
/nix/store/5h899q2yhjj31ay5jc084gay33qa68b1-z3-4.15.8
dev (not default)
/nix/store/4xb7ki18i7r52vmpj37vbjabsfxmzk0j-z3-4.15.8-dev
lib (not default)
/nix/store/vikp690c1pq986g2mml357266nhr31ci-z3-4.15.8-lib
aarch64-linux
Linux · arm64		 python314Packages.z3-solver b0188973b4b2
python
/nix/store/gzldgl9wbz27gjsd65pxwxz6q9z0q001-z3-4.15.8-python
out
/nix/store/qqsbq8szky5jy2sgfpcvkdfgi6y47h8r-z3-4.15.8
lib (not default)
/nix/store/jy0bzpdgsxaf5s6c5qb7makj0zq868lr-z3-4.15.8-lib
dev (not default)
/nix/store/f8vyr3f0c62zrk7sazy0ar5bww7vk73z-z3-4.15.8-dev
x86_64-darwin
macOS · x86-64		 python314Packages.z3-solver dc72a9d22820
python
/nix/store/6lb3azqcfvbgvf7050lvdk9q9hlncyc5-z3-4.15.8-python
out
/nix/store/brc2gn2ma22md0nl0656pjqlzxa3yp25-z3-4.15.8
dev (not default)
/nix/store/i8dfba0il8rknw17w5igzy5s77mmn9iv-z3-4.15.8-dev
lib (not default)
/nix/store/vkg1bcwgn5cypsvfyscw67j1l56rklwr-z3-4.15.8-lib
x86_64-linux
Linux · x86-64		 python314Packages.z3-solver 456e8a9468b9
python
/nix/store/x8pp55vkfm4ilalrm4xxj45k99ncnf6q-z3-4.15.8-python
out
/nix/store/lh5ahkfn8xyprr3f0kwv3xrs6rb0r7xs-z3-4.15.8
dev (not default)
/nix/store/r6hc74x0h6r45sgmwkkackmg0c3ns8q9-z3-4.15.8-dev
lib (not default)
/nix/store/010km2i9crgg4l3h7cj8vkx5m5b3j38v-z3-4.15.8-lib
← newer: 4.16.0 all 4 releases older: 4.15.7 →

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