Z3Prover/z3

The Z3 Theorem Prover

C++12,750 stars1,696 forks

Rankings

PeriodRankScore

Daily

#30631.8

Weekly

#63232.2

Monthly

#71015.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #607

Format

Markdown

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

Back to trending

Z3Prover/z3

The Z3 Theorem Prover

C++12,750 stars1,696 forks

Rankings

PeriodRankScore

Daily

#30631.8

Weekly

#63232.2

Monthly

#71015.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #607

Format

Markdown

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