Maintainer Mode
Sign in with GitHub
Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

glucose-syrup

glucose-syrup 4.2.1 · pkgs/by-name/gl/glucose/package.nix
Sign in to watch

Health

Risk
risk 7 low
  • +6 no maintainer
  • +1 no versionCheckHook
Version
4.2.1 no newer release known to repology
Channels
master 4.2.1 · nixos-unstable 4.2.1 · nixos-26.05 4.2.1 no channel is behind master
Hydra
no finished build of nixpkgs/unstable/glucose-syrup.x86_64-linux
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Modern, parallel SAT solver (parallel version)
Homepage
https://www.labri.fr/perso/lsimon/research/glucose/
License
unfreeRedistributable unfree
Platforms
45 platforms: Linux, Darwin
Main program
glucose
Source provenance
not set: built from source
Outputs
out
Status
unfree
Position
pkgs/by-name/gl/glucose/package.nix:43
Maintainers
none

Version bumps 0

all open bumps
None open.

Pull requests 0

None open.

Issues 0

None open.