Bitwuzla

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”.

Categories > Software Quality > Smt

Suggest Alternative

Stars

139

License

other

Open Issues

Most Recent Commit

3 months ago

Programming Language

SMT

Categories

Software Quality > Smt

Site

Repo

Alternatives To Bitwuzla

Select To Compare

Vim Polyglot ⭐ 5,431

A solid language pack for Vim.

most recent commit 6 months ago

Manticore ⭐ 3,535

Symbolic execution tool

dependent packages 1total releases 1,137most recent commit 7 months ago

Fstar ⭐ 2,522

A Proof-oriented Programming Language

most recent commit 3 months ago

Openpnp ⭐ 1,501

Open Source SMT Pick and Place Hardware and Software

most recent commit 4 months ago

Barf Project ⭐ 1,193

BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework

dependent packages 1total releases 4most recent commit 4 years ago

Liquidhaskell ⭐ 1,132

Liquid Types For Haskell

total releases 32most recent commit 3 months ago

Cryptol ⭐ 1,091

Cryptol: The Language of Cryptography

total releases 20most recent commit 3 months ago

Bsc ⭐ 850

Bluespec Compiler (BSC)

most recent commit 3 months ago

Alive2 ⭐ 634

Automatic verification of LLVM optimizations

most recent commit 3 months ago

Smt ⭐ 587

Surrogate Modeling Toolbox

dependent packages 12total releases 35most recent commit 3 months ago

Suggest An Alternative To bitwuzla

Popular Software Quality Categories

Test Driven Development

Rspec

Junit

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Smt

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.