Command-line tool

bitwuzla

brew/bitwuzla

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions

Website

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install bitwuzla

Linux

brew install bitwuzla

Related command-line tools

• plotutils
  C/C++ function library for exporting 2-D vector graphics
• fplll
  Lattice algorithms using floating-point arithmetic
• sollya
  Library for safe floating-point code development
• clhep
  Class Library for High Energy Physics
• clp
  Linear programming solver
• cryptominisat
  Advanced SAT solver
• aspcud
  Package dependency solver
• kissat
  Bare metal SAT solver

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents