mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-18 00:10:04 +00:00
5 lines
303 B
Plaintext
5 lines
303 B
Plaintext
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of
|
|
fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted
|
|
functions and their combinations. Its name is derived from an Austrian dialect
|
|
expression that can be translated as "someone who tinkers with bits".
|