nixsearch / pkg / python37Packages.python-sat / 0.1.6.dev6
python37Packages.python-sat 0.1.6.dev6
Toolkit to provide interface for various SAT (without optional dependancy py-aiger-cnf)
Linux
last changed
Pin this version
$ devbox add python37Packages.python-sat@0.1.6.dev6
$ nix shell github:NixOS/nixpkgs/5df05c902cde398e056eb6271d5fe13e418db4c6#python37Packages.python-sat
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
python37Packages.python-sat |
5df05c902cde |
JSON: /v2/pkg?name=python37Packages.python-sat · /v2/resolve?name=python37Packages.python-sat&version=0.1.6.dev6