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

python313Packages.z3-solver 4.15.2

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.2
systemsaarch64-darwin commit9585e9192aadc13ec3e49f33f8333bd3cda524df 
$ nix shell github:NixOS/nixpkgs/9585e9192aadc13ec3e49f33f8333bd3cda524df#python313Packages.z3-solver
systemsaarch64-linux, x86_64-linux commit641d909c4a7538f1539da9240dedb1755c907e40 
$ nix shell github:NixOS/nixpkgs/641d909c4a7538f1539da9240dedb1755c907e40#python313Packages.z3-solver
systemsx86_64-darwin commit372d9eeeafa5b15913201e2b92e8e539ac7c64d1 
$ nix shell github:NixOS/nixpkgs/372d9eeeafa5b15913201e2b92e8e539ac7c64d1#python313Packages.z3-solver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python313Packages.z3-solver 9585e9192aad
python
/nix/store/cbzbi66xxmrfllccgkyvarsm0arg3y3p-z3-4.15.2-python
out
/nix/store/2yjhz5h1g7bad5kp6vgk537glb0j1ah8-z3-4.15.2
dev (not default)
/nix/store/fzzss82dmv5r3qx19dcgsr5r2z35h7kr-z3-4.15.2-dev
lib (not default)
/nix/store/gyb628s4kbjivha5jz9gba89g5pd09pv-z3-4.15.2-lib
aarch64-linux
Linux · arm64		 python313Packages.z3-solver 641d909c4a75
python
/nix/store/h7dip84zfbvxdmw9y8g2pxcjikw7yk1g-z3-4.15.2-python
out
/nix/store/x0f2nkmqz41042g2yv32fnac30c29fzz-z3-4.15.2
dev (not default)
/nix/store/kvj828y1qwc3is62s58zf21bzcghwinj-z3-4.15.2-dev
lib (not default)
/nix/store/ladlpkj3rhiy73fvd0d8kcfzz564n19q-z3-4.15.2-lib
x86_64-darwin
macOS · x86-64		 python313Packages.z3-solver 372d9eeeafa5
python
/nix/store/mwpvi2gwqvfv91k0dqmax8qp7h4cz9h7-z3-4.15.2-python
out
/nix/store/vn03g9lyk6s11kb1bi9pmgjw7h06xnj9-z3-4.15.2
lib (not default)
/nix/store/g7a4hfwfg9qn50mb229qk0xfw0mkncdr-z3-4.15.2-lib
dev (not default)
/nix/store/mvzw8d5v52ydra7pbm9c5apq0jw1y8dz-z3-4.15.2-dev
x86_64-linux
Linux · x86-64		 python313Packages.z3-solver 641d909c4a75
python
/nix/store/jn2s8n53kxy9zjxh0vnda7l215w8g95x-z3-4.15.2-python
out
/nix/store/5ic22qpb2f7idlspzimq4ddl1y1x5nsf-z3-4.15.2
dev (not default)
/nix/store/2r19g96hgqk8igbn8liicwciqjs56v1q-z3-4.15.2-dev
lib (not default)
/nix/store/6xcw6hz1as8rcd1yf9q6b1d7h5136d3h-z3-4.15.2-lib
← newer: 4.15.3 all 11 releases older: 4.15.1 →

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