Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "theories" keyword
rust_smt 0.2.0
A generic solver-agnostic API for interacting with SMT solvers based on the SMT-LIB standard.3 versions - Latest release: about 5 years ago - 1.69 thousand downloads total - 36 stars on GitHub - 1 maintainer
Related Keywords