Z3 Theorem Prover (@Z3Prover)
Guthub

Z3Prover

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    9,001
  • Global Org. Rank 2,631 (Top 0.9 %)
  • Registered over 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++
10,266
star
2

FirewallChecker

A self-contained firewall checker
C#
90
star
3

doc

Documentation
SMT
38
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

z3prover.github.io

Z3 webpage repository
HTML
5
star
7

PerformanceTest

SMT
4
star
8

pyodide

Pyodide build action
2
star