nixsearch
nixsearch / pkg / python313Packages.deal-solver / 0.1.2

python313Packages.deal-solver 0.1.2

Z3-powered solver (theorem prover) for deal
Linux and macOS last changed outputs: out, dist

Pin this version

$ devbox add python313Packages.deal-solver@0.1.2
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit02f5696b0e6097e589076d886b317b83ff0437d7 
$ nix shell github:NixOS/nixpkgs/02f5696b0e6097e589076d886b317b83ff0437d7#python313Packages.deal-solver
systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d 
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#python313Packages.deal-solver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python313Packages.deal-solver 02f5696b0e60
out
/nix/store/m8nn5zm026ag7n09i91blbr1lr6wyf40-python3.13-deal-solver-0.1.2
dist (not default)
/nix/store/z39iqmlckpwdlsa70ix8nz47nzf1rl40-python3.13-deal-solver-0.1.2-dist
aarch64-linux
Linux · arm64		 python313Packages.deal-solver 02f5696b0e60
out
/nix/store/lihyh5bf73avzq4hwzzvpn112n77d8sx-python3.13-deal-solver-0.1.2
dist (not default)
/nix/store/x3w8fhn1i0l9k0dapiczc8f1bpf2qxr4-python3.13-deal-solver-0.1.2-dist
x86_64-darwin
macOS · x86-64		 python313Packages.deal-solver 3d46470bb303
out
/nix/store/x88hg1nzbyh50ggc787bnkfzq29zlc5i-python3.13-deal-solver-0.1.2
dist (not default)
/nix/store/yi4w0gq2sc0gsnjdk2n5ayiz6hmkayw0-python3.13-deal-solver-0.1.2-dist
x86_64-linux
Linux · x86-64		 python313Packages.deal-solver 02f5696b0e60
out
/nix/store/7hwazwhxyndb2kcvnbjghllx16cvb56h-python3.13-deal-solver-0.1.2
dist (not default)
/nix/store/lk2hyz71qmlsn1qxm6szwk4dnkb7b7n4-python3.13-deal-solver-0.1.2-dist
all 1 releases

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