nixsearch / pkg / python312Packages.pysmt / 0.9.6
python312Packages.pysmt 0.9.6
Python library for SMT formulae manipulation and solving
Linux and macOS
last changed
outputs: out, dist
Pin this version
$ devbox add python312Packages.pysmt@0.9.6
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitee09932cedcef15aaf476f9343d1dea2cb77e261
$ nix shell github:NixOS/nixpkgs/ee09932cedcef15aaf476f9343d1dea2cb77e261#python312Packages.pysmt
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python312Packages.pysmt |
ee09932cedce | out/nix/store/m36nixmap6jvqdnrgnf98p2r7dz54sid-python3.12-pysmt-0.9.6 dist (not default)/nix/store/1pqlgmfqjxamwxzznksraq1xwr14dcwa-python3.12-pysmt-0.9.6-dist |
||
aarch64-linuxLinux · arm64 |
python312Packages.pysmt |
ee09932cedce | out/nix/store/r9x0snw6b81zhvb3dpfv76vs2aw0jmmr-python3.12-pysmt-0.9.6 dist (not default)/nix/store/mgd2gmlbd9zsgiv3ysbbpbvnd7vi9fjw-python3.12-pysmt-0.9.6-dist |
||
x86_64-darwinmacOS · x86-64 |
python312Packages.pysmt |
ee09932cedce | out/nix/store/wrjkg1n6519pd6gs49l3kxbv8f87qqys-python3.12-pysmt-0.9.6 dist (not default)/nix/store/zpxrqs3if7bjhp7yjadmgwjnf5rq5z17-python3.12-pysmt-0.9.6-dist |
||
x86_64-linuxLinux · x86-64 |
python312Packages.pysmt |
ee09932cedce | out/nix/store/z95h2mw1xfr0ninwx1ag5l6p11kp68ig-python3.12-pysmt-0.9.6 dist (not default)/nix/store/g3i8wcdkjpb8wxpkryfsf5r9shnsfr5i-python3.12-pysmt-0.9.6-dist |
JSON: /v2/pkg?name=python312Packages.pysmt · /v2/resolve?name=python312Packages.pysmt&version=0.9.6