Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / Z3Prover / z3

The Z3 Theorem Prover

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Z3Prover%2Fz3

Stars: 9,721
Forks: 1,436
Open Issues: 141

License: other
Language: C++
Repo Size: 126 MB
Dependencies: 427

Created: about 9 years ago
Updated: about 4 hours ago
Last pushed: about 4 hours ago
Last synced: about 2 hours ago

Commit Stats

Commits: 15684
Authors: 315
Mean commits per author: 49.79
Development Distribution Score: 0.429
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/Z3Prover/z3

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/Windows.yml actions
    src/api/js/package.json npm
    examples/dotnet/dotnet.csproj nuget
    .github/workflows/android-build.yml actions
    .github/workflows/coverage.yml actions
    .github/workflows/cross-build.yml actions
    .github/workflows/docker-image.yml actions
    .github/workflows/msvc-static-build.yml actions
    .github/workflows/wasm-release.yml actions
    .github/workflows/wasm.yml actions
    .github/workflows/wip.yml actions
    src/api/python/pyproject.toml pypi
    src/api/python/setup.py pypi
    src/api/js/package-lock.json npm