Maintainer Mode
Sign in with GitHub

zchaff

zchaff 2007.3.12 · pkgs/by-name/zc/zchaff/package.nix
Sign in to subscribe
Health
Risk
risk 1 low
  • +1 no versionCheckHook
Version
2007.3.12 no newer release known to repology
Channels
master 2007.3.12 · nixos-unstable 2007.3.12 · nixos-26.05 2007.3.12 no channel is behind master
Hydra
succeeded 2d ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Accelerated SAT Solver from Princeton
Homepage
https://www.princeton.edu/~chaff/zchaff.html
License
MIT
Platforms
45 platforms: Linux, Darwin
Main program
zchaff
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/zc/zchaff/package.nix:30
Maintainers
siraben
Version bumps 0all open bumps
None open.
Pull requests 0
None open.
Issues 0
None open.