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