GitHub / Z3Prover / z3

The Z3 Theorem Prover

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Z3Prover%2Fz3
PURL: pkg:github/Z3Prover/z3

Stars: 11,202
Forks: 1,542
Open issues: 166

License: other
Language: C++
Size: 132 MB
Dependencies parsed at: Pending

Created at: over 10 years ago
Updated at: 2 days ago
Pushed at: 2 days ago
Last synced at: 2 days ago

Commit Stats

Commits: 17017
Authors: 339
Mean commits per author: 50.2
Development Distribution Score: 0.416
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/Z3Prover/z3

Loading...