Z3 Theorem Prover ORG

10 repos
222 followers
0 following

SMT 40%
C++ 20%
C# 20%
HTML 20%

All public repos (10)

Show forks Show archived

z3

The Z3 Theorem Prover

Z3 is Microsoft Research's theorem prover that automatically checks whether logical statements and constraints are satisfiable, used in formal verification, compiler analysis, and security research.

C++ ★ 12k 4h ago
Explain →
FirewallChecker

A self-contained firewall checker

C# ★ 110 4y ago
Explain →
doc

Documentation

SMT ★ 47 7mo ago
Explain →
z3test

Test and benchmark repository for Z3.

SMT ★ 27 2d ago
Explain →
bin

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

★ 18 7y ago
Explain →
z3prover.github.io

Z3 webpage repository

HTML ★ 10 1mo ago
Explain →
PerformanceTest ▣

No description.

SMT ★ 5 1y ago
Explain →
pyodide ▣

Pyodide build action

★ 2 3y ago
Explain →
a3-python-skill ▣

Repository for a3-python skill

★ 1 4mo ago
Explain →
.github

Default Community Health Files for the organization

★ 0 3y ago
Explain →