nixsearch / pkg / python39Packages.python-sat / 0.1.7.dev1
python39Packages.python-sat 0.1.7.dev1
Toolkit to provide interface for various SAT (without optional dependancy py-aiger-cnf)
Linux and macOS
last changed
outputs: out, dist
Pin this version
$ devbox add python39Packages.python-sat@0.1.7.dev1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit80c24eeb9ff46aa99617844d0c4168659e35175f
$ nix shell github:NixOS/nixpkgs/80c24eeb9ff46aa99617844d0c4168659e35175f#python39Packages.python-sat
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python39Packages.python-sat |
80c24eeb9ff4 | out/nix/store/9i70lq86khrw0hgrvzrcwhzfrya27vfa-python3.9-python-sat-0.1.7.dev1 dist (not default)/nix/store/0i834wi2rfi17in4ykcmmyhxc5zzh7cw-python3.9-python-sat-0.1.7.dev1-dist |
||
aarch64-linuxLinux · arm64 |
python39Packages.python-sat |
80c24eeb9ff4 | out/nix/store/h5csc1af4a52f4f65av8bpx30aiivw5b-python3.9-python-sat-0.1.7.dev1 dist (not default)/nix/store/l0654j9900c60iw0gc47jfx6l35mzf9r-python3.9-python-sat-0.1.7.dev1-dist |
||
x86_64-darwinmacOS · x86-64 |
python39Packages.python-sat |
80c24eeb9ff4 | out/nix/store/cyf2g9381ffiqyn59jfsa59df4pp17k4-python3.9-python-sat-0.1.7.dev1 dist (not default)/nix/store/wbx7k4vj818x8r903knqjm87sfp0cnlq-python3.9-python-sat-0.1.7.dev1-dist |
||
x86_64-linuxLinux · x86-64 |
python39Packages.python-sat |
80c24eeb9ff4 | out/nix/store/x5zr4fs5x13ff4slm6vlqa89ydkvxwg1-python3.9-python-sat-0.1.7.dev1 dist (not default)/nix/store/lc6jx93i9fy6nzphy9nhj31ml6xdr9km-python3.9-python-sat-0.1.7.dev1-dist |
JSON: /v2/pkg?name=python39Packages.python-sat · /v2/resolve?name=python39Packages.python-sat&version=0.1.7.dev1