GitHub Hot Board · Archivio repository

Z3Prover/z3

The Z3 Theorem Prover (Questa descrizione proviene dal repository.)

Dati al October 26Z3Prover

Miglior posizione

#212

Storico · C++ per lingua

13K

Stelle totali

1.7K

Fork totali

Giorni in classifica (30 g)

Stato del progettoLicenza: NOASSERTIONUltimo push: October 26Issue aperte (PR incl.): 49

Raccolto dal 2026-10-25; sconosciuto = non ancora raccolto

[![Metti il badge nel tuo README](https://git.vaiox.xyz/api/badge/Z3Prover/z3.svg)](https://git.vaiox.xyz/it/repo/Z3Prover/z3)

<a href="https://git.vaiox.xyz/it/repo/Z3Prover/z3"><img src="https://git.vaiox.xyz/api/badge/Z3Prover/z3.svg" alt="Metti il badge nel tuo README" height="20"></a>

Classifiche attuali

212
Campioni di sempre · C++
13K stelle · 1.7K fork · Star totali
Storico · C++ →

Andamento degli ultimi 30 giorni

Nessun record negli ultimi 30 giorni.

← Torna alle classifiche