Maintainer Mode
Sign in with GitHub

cadical

cadical 3.0.1 · pkgs/by-name/ca/cadical/package.nix
Sign in to subscribe
Health
Risk
risk 1 low
  • +1 no versionCheckHook
Version
3.0.1 no newer release in its git tags
Channels
master 3.0.1 · nixos-unstable 3.0.1 · nixos-26.05 3.0.0 master is ahead of nixos-26.05
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Simplified Satisfiability Solver
Homepage
https://fmv.jku.at/cadical/
License
MIT
Platforms
45 platforms: Linux, Darwin
Main program
cadical
Source provenance
not set: built from source
Outputs
out dev lib
Status
not broken, not insecure, free
Position
pkgs/by-name/ca/cadical/package.nix:102
Maintainers
shnarazk, chrjabs
Version bumps 0all open bumps
None open.
Pull requests 2
lean4: pin cmake deps via cmake-content.json; add updateScript
#537536 by lucasew · opened 3mo ago
various: hardcode finalAttrs.pname to strings draft
#498095 by guylamar2006 · opened 7mo ago · checks pass
Issues 0
None open.