GitHub Hot Board · Archive du dépôt

Z3Prover/z3

The Z3 Theorem Prover (Cette description provient du dépôt lui-même.)

Données au October 26Z3Prover

Meilleur rang

#212

Tous temps · C++ par langue

13K

Étoiles totales

1.7K

Forks totaux

Jours classés (30 j)

État du projetLicence: NOASSERTIONDernier push: October 26Issues ouvertes (PR incl.): 49

Collecté depuis 2026-10-25 ; inconnu = pas encore récolté

[![Mettez le badge dans votre README](https://git.vaiox.xyz/api/badge/Z3Prover/z3.svg)](https://git.vaiox.xyz/fr/repo/Z3Prover/z3)

<a href="https://git.vaiox.xyz/fr/repo/Z3Prover/z3"><img src="https://git.vaiox.xyz/api/badge/Z3Prover/z3.svg" alt="Mettez le badge dans votre README" height="20"></a>

Classements actuels

212
Champions de tous les temps · C++
13K stars · 1.7K fork · Stars totales
Tous temps · C++ →

Évolution sur 30 jours

Aucun classement au cours des 30 derniers jours.

← Retour aux classements