Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "smtlib" keyword

smtlib-syntax 0.1.0
Types mirroring most of the syntactic elements from the SMT-LIB 2.6 spec. Meant for code generati...
1 version - Latest release: 3 months ago - 371 downloads total - 0 stars on GitHub - 1 maintainer
smtlib-build-util 0.1.8
The build utils for building the smtlib family of crates
2 versions - Latest release: 5 months ago - 2 dependent packages - 1.52 thousand downloads total - 16 stars on GitHub - 1 maintainer
smtlib-lowlevel 0.2.0
A low-level API for interacting with SMT solvers
9 versions - Latest release: about 1 month ago - 1 dependent package - 1 dependent repositories - 3.43 thousand downloads total - 16 stars on GitHub - 1 maintainer
smtlib 0.2.0
A high-level API for interacting with SMT solvers
9 versions - Latest release: about 1 month ago - 2.95 thousand downloads total - 16 stars on GitHub - 1 maintainer
Related Keywords
smt 4 rust 3