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.

boolector

boolector 3.2.4 · pkgs/by-name/bo/boolector/package.nix
Sign in to watch

Health

Risk
risk 2 low
  • +2 no meta.mainProgram, no versionCheckHook
Version
3.2.4 no newer release in its git tags
Channels
master 3.2.4 · nixos-unstable 3.2.4 · nixos-26.05 3.2.4 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
Extremely fast SMT solver for bit-vectors and arrays
Homepage
https://boolector.github.io
License
MIT
Platforms
25 platforms: Linux, Darwin
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/bo/boolector/package.nix:75
Maintainers
thoughtpolice

Version bumps 0

all open bumps
None open.

Pull requests 1

boolector: drop draft
#451484 by Sigmanificient · opened 12mo ago · checks fail

Issues 0

None open.