Maintainer Mode
Sign in with GitHub

bitwuzla

bitwuzla 0.9.1 · pkgs/by-name/bi/bitwuzla/package.nix
Sign in to subscribe
Health
Risk
risk 1 low
  • +1 no versionCheckHook
Version
0.9.1 no newer release in its git tags
Channels
master 0.9.1 · nixos-unstable 0.9.1 · nixos-26.05 0.9.0 master is ahead of nixos-26.05
Hydra
succeeded 2d ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
SMT solver for fixed-size bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions
Homepage
https://bitwuzla.github.io
License
MIT
Platforms
45 platforms: Linux, Darwin
Main program
bitwuzla
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/bi/bitwuzla/package.nix:98
Maintainers
symphorien
Version bumps 0all open bumps
None open.
Pull requests 0
None open.
Issues 0
None open.