bestofgithub.dev

← Back to the directory

Z3Prover/z3

View on GitHub

The Z3 Theorem Prover

Z3Prover/z3 is #2,835 on the bestofgithub Elo ladder, in Platinum IV, with a rating of 1,650 (+22 this week). It has 12,937 stars, 35 gained in the last week.

Platinum IV

1,650 Elo

  • #2,835 on the ladder
  • +6 today · +22 this week
  • Peak 1,650
19 Elo to Platinum III

Stars

12,937

  • +3 today
  • +35 this week
  • – this month

Repository

Forks
1.7k
Language
C++
Last push

Achievements

bestofgithub badgeMaintainer? Show your league in your README

Card: your league's emblem, from Copper to Legendary

[![bestofgithub](https://bestofgithub.dev/badge/Z3Prover/z3.svg?style=card)](https://bestofgithub.dev/repo/Z3Prover/z3)

Flat: fits beside your other badges

[![bestofgithub](https://bestofgithub.dev/badge/Z3Prover/z3.svg)](https://bestofgithub.dev/repo/Z3Prover/z3)

Install

git
git clone https://github.com/Z3Prover/z3.git

README

Loading README…