nixsearch
nixsearch / pkg / python38Packages.python-sat

python38Packages.python-sat

Toolkit to provide interface for various SAT (without optional dependancy py-aiger-cnf)
MIT github.com python38Packages.python-sat 2 releases newest changed
python38Packages.python-sat@ latest, 3.11, ^3.11, >=3.10 <3.12
version0.1.7.dev1 attributepython38Packages.python-sat rev6f05cfdb1e78d36c0337516df674560e4b51c79b · one commit for every system systems✓ aarch64-darwinaarch64-linux✓ x86_64-darwin✓ x86_64-linux 
$ devbox add python38Packages.python-sat@0.1.7.dev1
$ nix shell github:NixOS/nixpkgs/6f05cfdb1e78d36c0337516df674560e4b51c79b#python38Packages.python-sat

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

Releases

newest first, as /v2/pkg orders them
Versionarm
mac		arm
linux		x86
mac		x86
linux		AttributeCommitDateOutputs
0.1.7.dev1resolved ✓–✓✓ python38Packages.python-sat 6f05cfdb1e
0.1.6.dev6 ✓–✓✓ python38Packages.python-sat 2df15ba83d

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