Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / facebookarchive / Rust-SMT-LIB-API
An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/facebookarchive%2FRust-SMT-LIB-API
Stars: 36
Forks: 7
Open Issues: 1
License: mit
Language: Rust
Repo Size: 38.1 KB
Dependencies:
2
Created: about 5 years ago
Updated: over 1 year ago
Last pushed: over 4 years ago
Last synced: 4 days ago
Files
Loading...
Readme
Loading...
Dependencies
Cargo.lock
cargo
- lazy_static 1.3.0
- z3-sys 0.5.0