nixsearch
nixsearch / pkg / python37Packages.python-sat

python37Packages.python-sat

Toolkit to provide interface for various SAT (without optional dependancy py-aiger-cnf)
MIT github.com python37Packages.python-sat 1 release newest changed
python37Packages.python-sat@ latest, 3.11, ^3.11, >=3.10 <3.12
version0.1.6.dev6 attributepython37Packages.python-sat rev5df05c902cde398e056eb6271d5fe13e418db4c6 · one commit for every system systemsaarch64-darwinaarch64-linuxx86_64-darwin✓ x86_64-linux 
$ devbox add python37Packages.python-sat@0.1.6.dev6
$ nix shell github:NixOS/nixpkgs/5df05c902cde398e056eb6271d5fe13e418db4c6#python37Packages.python-sat

JSON: /v2/resolve?name=python37Packages.python-sat&version=latest

Releases

newest first, as /v2/pkg orders them
Versionarm
mac		arm
linux		x86
mac		x86
linux		AttributeCommitDateOutputs
0.1.6.dev6resolved –––✓ python37Packages.python-sat 5df05c902c

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.