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

SMT411 stars60 forks

Momentum

bitwuzla/bitwuzla has 411 GitHub stars. It gained 0 stars over 1 recorded day in the last 7 days and +2 over 2 recorded days in the last 30 days (snapshots through Nov 7, 2026).

Its biggest recent day was Oct 9, 2026, with +2 stars.

It currently ranks #22121 daily, #22822 weekly, #6355 monthly by momentum on Trending Repos; its best-ever rank is #539.

Trending Repos first recorded it on May 15, 2026.

Rankings

PeriodRankScore

Daily

#221210.0

Weekly

#228220.0

Monthly

#63550.3

How scoring works

Engagement

Total stars

Daily new stars

Recent daily star gains
Date	Stars gained	Total stars	Forks gained
Nov 7, 2026	0	411	0
Oct 9, 2026	+2	398	0

Embeds

Best rank #539

Format

Markdown

[![bitwuzla/bitwuzla badge](https://trending-repos.com/badge/bitwuzla/bitwuzla.svg?v=3)](https://trending-repos.com/repositories/bitwuzla/bitwuzla?utm_source=github&utm_medium=badge)