Data

Tools

Indexes

Applications

Experiments

Packages

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

crates.io "smtlib" keyword

View the packages on the crates.io package registry that are tagged with the "smtlib" keyword.

smtlib-build-util 0.1.8
The build utils for building the smtlib family of crates
2 versions - Latest release: over 1 year ago - 2 dependent packages - 3.4 thousand downloads total - 28 stars on GitHub - 1 maintainer
smtlib 0.3.0
A high-level API for interacting with SMT solvers
10 versions - Latest release: 4 months ago - 11.1 thousand downloads total - 28 stars on GitHub - 1 maintainer
smtlib-lowlevel 0.3.0
A low-level API for interacting with SMT solvers
10 versions - Latest release: 4 months ago - 1 dependent package - 1 dependent repositories - 11.9 thousand downloads total - 17 stars on GitHub - 1 maintainer
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: over 1 year ago - 1.31 thousand downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
smt 4 rust 3