Ecosyste.ms: Repos

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

GitHub / arminbiere / cadical

CaDiCaL SAT Solver

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

Stars: 311
Forks: 108
Open Issues: 25

License: mit
Language: C++
Repo Size: 3.22 MB
Dependencies: 0

Created: almost 8 years ago
Updated: about 1 month ago
Last pushed: about 1 month ago
Last synced: about 1 month ago

Commit Stats

Commits: 1299
Authors: 10
Mean commits per author: 129.9
Development Distribution Score: 0.242
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/arminbiere/cadical

Files
    Loading...
    Readme
    Loading...

    No dependencies found