nixsearch
nixsearch / pkg / python310Packages.pysmt / 0.9.1.dev132

python310Packages.pysmt 0.9.1.dev132

Python library for SMT formulae manipulation and solving
Linux and macOS last changed

Pin this version

$ devbox add python310Packages.pysmt@0.9.1.dev132
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit0c4852c7bc40747e734a84a0d234105a4d5c146f 
$ nix shell github:NixOS/nixpkgs/0c4852c7bc40747e734a84a0d234105a4d5c146f#python310Packages.pysmt

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python310Packages.pysmt 0c4852c7bc40
out
/nix/store/zz2v9vv940qa4yry7wnnmdkh54nkjks3-python3.10-pysmt-0.9.1.dev132
aarch64-linux
Linux · arm64		 python310Packages.pysmt 0c4852c7bc40
out
/nix/store/bqc56gvv31y35lqx2andxbs0x6snc4bg-python3.10-pysmt-0.9.1.dev132
x86_64-darwin
macOS · x86-64		 python310Packages.pysmt 0c4852c7bc40
out
/nix/store/77r6xpcq303r57g4haaybb5p6gxq6x66-python3.10-pysmt-0.9.1.dev132
x86_64-linux
Linux · x86-64		 python310Packages.pysmt 0c4852c7bc40
out
/nix/store/09nyxdjrfxy7n2cjpxbkcbnqm7c1akrq-python3.10-pysmt-0.9.1.dev132
← newer: 0.9.5 all 2 releases

JSON: /v2/pkg?name=python310Packages.pysmt · /v2/resolve?name=python310Packages.pysmt&version=0.9.1.dev132