bitwuzla
SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions
- Category
- Homebrew formulae
brew install bitwuzla Official docs outline
bitwuzla.github.ioExtra Credit builds an outline of bitwuzla's docs the first time your work uses it. Until then, start at the official documentation.
More in Homebrew formulae
All 3,000- zabbix Availability and monitoring solution
- ecl Embeddable Common Lisp
- latexindent Add indentation to LaTeX files
- rpiboot Raspberry Pi USB boot tool for Compute Modules
- s5cmd Parallel S3 and local filesystem execution tool
- texlab Implementation of the Language Server Protocol for LaTeX
- softhsm Cryptographic store accessible through a PKCS#11 interface
- tsshd UDP-based SSH server with roaming support
- dumbpipe Unix pipes between devices
- trealla-prolog Compact and efficient ISO Prolog interpreter written in plain old C
- kanata Cross-platform software keyboard remapper for Linux, macOS and Windows
- osi Open Solver Interface