nixsearch / pkg / python312Packages.pysmt / 0.9.5
python312Packages.pysmt 0.9.5
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.5
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commita9858885e197f984d92d7fe64e9fff6b2e488d40
$ nix shell github:NixOS/nixpkgs/a9858885e197f984d92d7fe64e9fff6b2e488d40#python312Packages.pysmt
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python312Packages.pysmt |
a9858885e197 | out/nix/store/bjkyvj35fp6v92dl4q3kc4ccimidr1dg-python3.12-pysmt-0.9.5 dist (not default)/nix/store/n80c2500lvm7mw017hnrcjsfa3acshr1-python3.12-pysmt-0.9.5-dist |
||
aarch64-linuxLinux · arm64 |
python312Packages.pysmt |
a9858885e197 | out/nix/store/kqjn9zl9q1amfxj6yfms9g5z8jqbchq9-python3.12-pysmt-0.9.5 dist (not default)/nix/store/c1qhlfgwjjgpks9mc2nyn20szhyv59nz-python3.12-pysmt-0.9.5-dist |
||
x86_64-darwinmacOS · x86-64 |
python312Packages.pysmt |
a9858885e197 | out/nix/store/sqxr7yyw1pqd4yh6b81acv20nrpqbcb7-python3.12-pysmt-0.9.5 dist (not default)/nix/store/rby6x81gsxzncs1jx8sakrdkq1q5kkx5-python3.12-pysmt-0.9.5-dist |
||
x86_64-linuxLinux · x86-64 |
python312Packages.pysmt |
a9858885e197 | out/nix/store/31ip5ajc7wliq5cqqjsslhr8fgqrx7d4-python3.12-pysmt-0.9.5 dist (not default)/nix/store/ifp35kd88n57ih9zxc938gv0f39ndb6x-python3.12-pysmt-0.9.5-dist |
JSON: /v2/pkg?name=python312Packages.pysmt · /v2/resolve?name=python312Packages.pysmt&version=0.9.5