Ecosyste.ms: Repos

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

GitHub / prove-rs / z3.rs

Rust bindings for the Z3 solver.

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

Stars: 315
Forks: 102
Open Issues: 52

License: None
Language: Rust
Repo Size: 582 KB
Dependencies: 8

Created: about 6 years ago
Updated: about 17 hours ago
Last pushed: 5 days ago
Last synced: about 17 hours ago

Commit Stats

Commits: 368
Authors: 55
Mean commits per author: 6.69
Development Distribution Score: 0.625
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/prove-rs/z3.rs

Topics: ffi-bindings, logic-programming, rust, rust-bindings, smt, smt-solver

Files
    Loading...
    Readme
    Loading...
    Dependencies
    z3/Cargo.toml cargo
    .github/workflows/rust.yml actions