Ecosyste.ms: Repos

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

GitHub / Datarecover / z3

The Z3 Theorem Prover

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

Fork of Z3Prover/z3
Stars: 0
Forks: 0
Open Issues: 0

License: other
Language: C++
Repo Size: 38.5 MB
Dependencies: 1

Created: over 4 years ago
Updated: over 4 years ago
Last pushed: over 4 years ago
Last synced: about 1 month ago

Files
    Loading...
    Readme
    Loading...
    Dependencies
    examples/dotnet/dotnet.csproj nuget
    examples/msf/SolverFoundation.Plugin.Z3/SolverFoundation.Plugin.Z3.csproj nuget
    examples/msf/SolverFoundation.Plugin.Z3.Tests/SolverFoundation.Plugin.Z3.Tests.csproj nuget
    examples/msf/Validator/Validator.csproj nuget
    package/Microsoft.Z3.x64.nuspec nuget
    src/api/python/setup.py pypi