Footer

Your go-to destination for discovering trending open-source projects and uncovering the insights that matter

Legal

  • Terms and conditions
  • Privacy policy

More

  • Pricing
  • Advertise
  • onedump
  • gosnakego
  • Contact us

Social

  • X (Twitter)
  • GitHub
Trendshift owl
What they build speaks louder than words
© 2026 Trendshift, created by Julian Li with ❤️
SignalAdvertise
Trendshift
SignalAdvertise
Sign in
Trendshift owl

Discover trends that matter

SignalAdvertise
DailyWeeklyMonthlyYearly
Live mentionsTopics
RepositoriesDevelopers
InsightsStats
Bifrost
Bifrost

Z3Prover/z3

The Z3 Theorem Prover

Visit GitHub
C++
12.9k
1.7k
333 contributors
Custom license
AchievementsView all →
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

Momentum

How fast Z3Prover/z3 is gaining stars, and where it lands on Trendshift and GitHub Trending

Activity and trending

Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending

Sep 7 – Nov 6, 2026

Stars +248 in 61 days

051015
12

Forks +38 in 61 days

0123
3

Merged PRs 399 in 61 days

0102030
23

Trendshift Trendingwhere the repository ranked each day it made the top 25

Not in the Trendshift top 25 in this period

Sep 7Sep 15Sep 23Oct 1Oct 9Oct 17Oct 25Nov 2
The left and right arrow keys step from day to day; Home and End go to the first and the last

Stars, forks, merged pull requests and Trendshift Trending rank, by day
DayStars gainedForks gainedMerged PRs
Mon, Sep 7, 2026+5+00
Tue, Sep 8, 2026+5+04
Wed, Sep 9, 2026+2+06
Thu, Sep 10, 2026+0+05
Fri, Sep 11, 2026+0+01
Sat, Sep 12, 2026+1+11
Sun, Sep 13, 2026+2+00
Mon, Sep 14, 2026+5+12
Tue, Sep 15, 2026+7+10
Wed, Sep 16, 2026+12+05
Thu, Sep 17, 2026+11+13
Fri, Sep 18, 2026+3+06
Sat, Sep 19, 2026+3+05
Sun, Sep 20, 2026+2+01
Mon, Sep 21, 2026+2+03
Tue, Sep 22, 2026+1+13
Wed, Sep 23, 2026+3+07
Thu, Sep 24, 2026+3+08
Fri, Sep 25, 2026+6+06
Sat, Sep 26, 2026+2+14
Sun, Sep 27, 2026+4+11
Mon, Sep 28, 2026+5+04
Tue, Sep 29, 2026+3+014
Wed, Sep 30, 2026+4+07
Thu, Oct 1, 2026+3+14
Fri, Oct 2, 2026+5+18
Sat, Oct 3, 2026+3+16
Sun, Oct 4, 2026+3+00
Mon, Oct 5, 2026+3+03
Tue, Oct 6, 2026+0+020
Wed, Oct 7, 2026+3+010
Thu, Oct 8, 2026+6+317
Fri, Oct 9, 2026+8+12
Sat, Oct 10, 2026+2+03
Sun, Oct 11, 2026+0+01
Mon, Oct 12, 2026+5+07
Tue, Oct 13, 2026+6+213
Wed, Oct 14, 2026+2+03
Thu, Oct 15, 2026+2+12
Fri, Oct 16, 2026+1+010
Sat, Oct 17, 2026+2+12
Sun, Oct 18, 2026+3+00
Mon, Oct 19, 2026+8+18
Tue, Oct 20, 2026+5+06
Wed, Oct 21, 2026+1+17
Thu, Oct 22, 2026+6+04
Fri, Oct 23, 2026+9+014
Sat, Oct 24, 2026+7+39
Sun, Oct 25, 2026+9+217
Mon, Oct 26, 2026+5+25
Tue, Oct 27, 2026+10+09
Wed, Oct 28, 2026+1+123
Thu, Oct 29, 2026+6+29
Fri, Oct 30, 2026+4+319
Sat, Oct 31, 2026+4+117
Sun, Nov 1, 2026+3+111
Mon, Nov 2, 2026+4+05
Tue, Nov 3, 2026+4+211
Wed, Nov 4, 2026+5+02
Thu, Nov 5, 2026+6+19
Fri, Nov 6, 2026+3+07
Total+248+38399
  • 1#1 on the list
  • 7Rank that day
  • Not trending
2

    • GitHub trending history

    Where the repository ranked on GitHub Trending, one dot for each day it was on a list

    Dec 25 – Dec 26, 2023Best #17

    #1#5#10#15#20#25
    Top 10
    Jan 2024JulJan 2025JulJan 2026Jul
    The left and right arrow keys step from day to day; Home and End go to the first and the last

    Mentions and achievements

    Where people are talking about Z3Prover/z3, and every badge it has earned
    1. Aug 111 post

      • How are you not using it? It is AMAZING at formal methods vibe coding.

        Read full on X, posted by @SMT_Solvers

        @SMT_Solvers · x.com

    2. 1 month earlier
    3. Jul 61 post

      • Claude was pretty sure it found a Z3 bug within the first 2 minutes of trying to use it. I'm extremely skeptical, but Claude says it's fixed on z3 master and its reproducer works on cvc5, so either…

        Read full on X, posted by @KenoFischer

        @KenoFischer · x.com

    You might also like

    Repositories close to Z3Prover/z3
    FeaturedAdvertise to 180K+ monthly visitors
    Bifrost

    Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

    SRI-CSL/yices2

    SMT

    SRI Yices SMT Solver

    48968

    cvc5/cvc5

    SMT

    cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

    1.4k294

    vprover/vampire

    C++

    The Vampire Theorem Prover

    44885

    stp/stp

    C++

    Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.

    594141

    OCamlPro/alt-ergo

    OCaml

    OCamlPro public development repository for Alt-Ergo

    14936

    Gbury/dolmen

    OCaml

    Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

    9320

    tammet/logictools

    HTML

    The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical predicate logic and propositional formulas.

    776

    ulamai/ulamai

    Python

    UlamAI is an open-source Lean theorem prover and formalizer.

    1628

    DebarghaG/proofofthought

    Python

    Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)

    37728