Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / scottschroeder / z3.rs
Rust bindings for the Z3 solver.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/scottschroeder%2Fz3.rs
Fork of prove-rs/z3.rs
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language: Rust
Repo Size: 298 KB
Dependencies:
5
Created: almost 6 years ago
Updated: 11 months ago
Last pushed: over 3 years ago
Last synced: 11 months ago
Files
Loading...
Readme
Loading...
Dependencies
z3/Cargo.toml
cargo
- env_logger 0.5 development
- semver 0.9 development
- lazy_static 1
- log 0.4
- z3-sys 0.3.0