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 "formal_method" keyword

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

cudd 0.1.4
Cudd Rust library
5 versions - Latest release: over 2 years ago - 6.34 thousand downloads total - 2 stars on GitHub - 1 maintainer
btor 0.2.0
Rust library for parsing and deparsing BTOR files
2 versions - Latest release: about 1 month ago - 948 downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
model_checking 2 cudd 1 bdd 1 logic 1