Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io : yices2-sys
Low level Rust bindings to the Yices 2 SMT solver
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:cargo/yices2-sys
Keywords: yices, smt-solver, smt
License: GPL-3.0
Latest release: 10 months ago
First release: 10 months ago
Dependent packages: 1
Downloads: 1,400 total
Stars: 6 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 29 days ago
Loading...
Readme
Loading...