Ecosyste.ms: Packages

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

crates.io "smt-lib" keyword

amzn-smt-ir
Intermediate representation for SMT problems
1 version - Latest release: 6 days ago - 305 downloads total - 31 stars on GitHub - 2 maintainers
aws-smt-ir 0.3.0
Intermediate representation for SMT problems
4 versions - Latest release: 10 months ago - 1 dependent repositories - 1.24 thousand downloads total - 31 stars on GitHub - 2 maintainers
amzn-smt-ir-derive
Intermediate representation for SMT problems
1 version - Latest release: 6 days ago - 1 dependent package - 1 dependent repositories - 328 downloads total - 31 stars on GitHub - 2 maintainers
aws-smt-ir-derive 0.1.2
Intermediate representation for SMT problems
3 versions - Latest release: 10 months ago - 1 dependent package - 1.35 thousand downloads total - 31 stars on GitHub - 2 maintainers
smt2parser 0.6.1
Generic parser library for the SMT-LIB-2 format
11 versions - Latest release: over 2 years ago - 5 dependent packages - 271 dependent repositories - 196 thousand downloads total - 21 stars on GitHub - 1 maintainer
rsmt2 0.16.2
Wrapper for SMT-LIB 2 compliant SMT solvers.
29 versions - Latest release: over 1 year ago - 1 dependent package - 13 dependent repositories - 25.5 thousand downloads total - 65 stars on GitHub - 1 maintainer
smt2 0.2.0
A SMT-LIB 2.6 parsing/formatting library for Rust
2 versions - Latest release: over 3 years ago - 1.06 thousand downloads total - 8 stars on GitHub - 1 maintainer
rsmt2-zz 0.11.1
Wrapper for SMT-LIB 2 compliant SMT solvers. With ZZ downstream fixes
2 versions - Latest release: over 4 years ago - 2.18 thousand downloads total - 65 stars on GitHub - 1 maintainer
amzn-smt-strings
A library for manipulating SMT-LIB strings and regular expressions
1 version - Latest release: 28 days ago - 265 downloads total - 2 stars on GitHub - 2 maintainers
smt2proxy 0.2.4
Binary tool to intercept and pre-process SMT2 commands
7 versions - Latest release: almost 3 years ago - 2.2 thousand downloads total - 21 stars on GitHub - 1 maintainer
aws-smt-strings 0.3.0
A library for manipulating SMT-LIB strings and regular expressions
3 versions - Latest release: 7 months ago - 795 downloads total - 2 stars on GitHub - 2 maintainers
smt2patch 0.1.1
Library and binary tool to patch SMT2 files
3 versions - Latest release: almost 3 years ago - 984 downloads total - 21 stars on GitHub - 1 maintainer
Related Keywords
smt 12 solver 10 satisfiability 2 sat 2 strings 2 regular-expressions 2 parsing 1 smt2 1