Z3 Theorem Prover (@Z3Prover)
Guthub

Z3Prover

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    9,001
  • Global Org. Rank 2,559 (Top 0.9 %)
  • Registered about 9 years ago
  • Most used languages
    SMT     50.0 %
    C++
         16.7 %
    C#
         16.7 %
    HTML
         16.7 %

Top repositories

1

z3

The Z3 Theorem Prover
C++
9,730
star
2

FirewallChecker

A self-contained firewall checker
C#
90
star
3

doc

Documentation
SMT
35
star
4

z3test

Test and benchmark repository for Z3.
SMT
23
star
5

bin

Auxiliary repository used to store pre-compiled binary distribution packages of Z3.
17
star
6

PerformanceTest

SMT
5
star
7

z3prover.github.io

Z3 webpage repository
HTML
5
star
8

pyodide

Pyodide build action
2
star