Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "smt" keyword
Top 5.7% on crates.io
19 versions - Latest release: 10 months ago - 12 dependent packages - 55 dependent repositories - 280 thousand downloads total - 315 stars on GitHub - 4 maintainers
z3 0.12.1
High-level rust bindings for the Z3 SMT solver from Microsoft Research19 versions - Latest release: 10 months ago - 12 dependent packages - 55 dependent repositories - 280 thousand downloads total - 315 stars on GitHub - 4 maintainers
Top 5.8% on crates.io
13 versions - Latest release: 10 months ago - 9 dependent packages - 51 dependent repositories - 330 thousand downloads total - 315 stars on GitHub - 4 maintainers
z3-sys 0.8.1
Low-level bindings for the Z3 SMT solver from Microsoft Research13 versions - Latest release: 10 months ago - 9 dependent packages - 51 dependent repositories - 330 thousand downloads total - 315 stars on GitHub - 4 maintainers
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
monster-rs 0.4.1
Monster is a symbolic execution engine for 64-bit RISC-U code5 versions - Latest release: almost 3 years ago - 1.84 thousand downloads total - 9 stars on GitHub - 1 maintainer
libpatron 0.17.3
Hardware bug-finding toolkit.50 versions - Latest release: 6 days ago - 12.8 thousand downloads total - 3 stars on GitHub - 1 maintainer
smt_sb-rs 0.1.6
SMT Simple Binding7 versions - Latest release: about 2 months ago - 1 dependent package - 2.31 thousand downloads total - 0 stars on GitHub - 1 maintainer
amzn-smt-ir
Intermediate representation for SMT problems1 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 problems4 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 problems1 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 problems3 versions - Latest release: 10 months ago - 1 dependent package - 1.35 thousand downloads total - 31 stars on GitHub - 2 maintainers
seer-z3 0.1.2
High-level rust bindings for the Z3 SMT solver from Microsoft Research3 versions - Latest release: almost 6 years ago - 1 dependent package - 1 dependent repositories - 4.02 thousand downloads total - 2 stars on GitHub - 1 maintainer
rustproof-libsmt 0.1.0
Rust bindings for z3 as utilized by RustProof.1 version - Latest release: over 7 years ago - 1 dependent package - 2.29 thousand downloads total - 2 stars on GitHub - 1 maintainer
lsmtree 0.1.1 💰
Implements a Sparse Merkle tree for a key-value store. The tree implements the same optimisations...9 versions - Latest release: almost 2 years ago - 2 dependent repositories - 9.07 thousand downloads total - 18 stars on GitHub - 1 maintainer
z3tracer 0.11.2
Parser for Z3 tracing logs15 versions - Latest release: over 2 years ago - 1 dependent package - 269 dependent repositories - 193 thousand downloads total - 21 stars on GitHub - 1 maintainer
smt2parser 0.6.1
Generic parser library for the SMT-LIB-2 format11 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
bitwuzla-sys 0.2.0
Low-level bindings for the Bitwuzla SMT solver3 versions - Latest release: almost 2 years ago - 2.59 thousand downloads total - 3 stars on GitHub - 1 maintainer
yices2-sys 2.6.4
Low level Rust bindings to the Yices 2 SMT solver3 versions - Latest release: 9 months ago - 1 dependent package - 1.4 thousand downloads total - 6 stars on GitHub - 1 maintainer
z3_ref 0.1.4
High level interface to the Z3 SMT solver5 versions - Latest release: over 5 years ago - 3.57 thousand downloads total - 1 stars on GitHub - 1 maintainer
yices2 0.1.4
Rust bindings to the Yices 2 SMT solver5 versions - Latest release: 9 months ago - 1.49 thousand downloads total - 6 stars on GitHub - 1 maintainer
smt2 0.2.0
A SMT-LIB 2.6 parsing/formatting library for Rust2 versions - Latest release: over 3 years ago - 1.06 thousand downloads total - 8 stars on GitHub - 1 maintainer
boolector 0.4.3
Safe high-level bindings for the Boolector SMT solver9 versions - Latest release: about 2 years ago - 4 dependent packages - 6 dependent repositories - 13.5 thousand downloads total - 9 stars on GitHub - 1 maintainer
xsmt 3.0.7
Sparse merkle tree implement in rust10 versions - Latest release: almost 2 years ago - 2.74 thousand downloads total - 2 stars on GitHub - 2 maintainers
rustproof 0.1.0
Compiler plugin to generate verification conditions from Rust code.1 version - Latest release: over 7 years ago - 1.27 thousand downloads total - 90 stars on GitHub - 1 maintainer
smt-lang 0.7.5
Sat Modulo Theory Language19 versions - Latest release: over 1 year ago - 5.47 thousand downloads total - 0 stars on GitHub - 1 maintainer
easy-smt 0.2.1
Easily interact with an smt solver as a subprocess5 versions - Latest release: 9 months ago - 1 dependent package - 1 dependent repositories - 5.66 thousand downloads total - 21 stars on GitHub - 2 maintainers
mikino 0.9.1
A simple induction and BMC engine9 versions - Latest release: about 2 years ago - 3.07 thousand downloads total - 0 stars on GitHub - 1 maintainer
rlfsc 0.2.2
A checker for the LFSC proof language10 versions - Latest release: about 3 years ago - 3.84 thousand downloads total - 0 stars on GitHub - 1 maintainer
z3d 0.1.0
Z3 DSL interface for Rust1 version - Latest release: over 4 years ago - 622 downloads total - 8 stars on GitHub - 1 maintainer
haybale 0.7.2
Symbolic execution of LLVM IR, written in Rust20 versions - Latest release: 7 months ago - 1 dependent package - 1 dependent repositories - 8.89 thousand downloads total - 506 stars on GitHub - 1 maintainer
mikino_api 0.9.1
A simple induction and BMC engine8 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 3.65 thousand downloads total - 0 stars on GitHub - 1 maintainer
haybale-pitchfork 0.4.1
Verifying constant-time code with symbolic execution6 versions - Latest release: over 2 years ago - 2.5 thousand downloads total - 40 stars on GitHub - 1 maintainer
smtlib-build-util 0.1.8
The build utils for building the smtlib family of crates2 versions - Latest release: 5 months ago - 2 dependent packages - 1.44 thousand downloads total - 16 stars on GitHub - 1 maintainer
smtlib 0.2.0
A high-level API for interacting with SMT solvers9 versions - Latest release: 17 days ago - 2.53 thousand downloads total - 15 stars on GitHub - 1 maintainer
smtlib-lowlevel 0.2.0
A low-level API for interacting with SMT solvers9 versions - Latest release: 17 days ago - 1 dependent package - 1 dependent repositories - 2.99 thousand downloads total - 15 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: 3 months ago - 321 downloads total - 0 stars on GitHub - 1 maintainer
rsmt2-zz 0.11.1
Wrapper for SMT-LIB 2 compliant SMT solvers. With ZZ downstream fixes2 versions - Latest release: over 4 years ago - 2.18 thousand downloads total - 65 stars on GitHub - 1 maintainer
boolector-sys 0.7.2
Low-level bindings for the Boolector SMT solver15 versions - Latest release: 3 months ago - 2 dependent packages - 5 dependent repositories - 17.9 thousand downloads total - 5 stars on GitHub - 1 maintainer
amzn-smt-strings
A library for manipulating SMT-LIB strings and regular expressions1 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 commands7 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 expressions3 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 files3 versions - Latest release: almost 3 years ago - 984 downloads total - 21 stars on GitHub - 1 maintainer
tatam 0.3.5
Theory And Time Analysis Machine16 versions - Latest release: 3 months ago - 4.14 thousand downloads total - 1 stars on GitHub - 1 maintainer
spring-cartographer-rs 0.1.1
A parser for the spring rts engine map files2 versions - Latest release: about 1 year ago - 532 downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
solver
19
smt-lib
12
satisfiability
11
rust
7
z3
6
ffi
6
smt-solver
5
smtlib
4
verification
4
sat
3
strings
2
symbolic
2
regular-expressions
2
llvm
2
induction
2
boolector
2
yices
2
merkle-tree
2
sparse_merkle_tree
2
merkle
2
ffi-bindings
2
logic-programming
2
rust-bindings
2
language
1
riscv
1
proof-checker
1
dependent-types
1
lfsc
1
type-checker
1
ir
1
modulo
1
theories
1
constant-time
1
rust-ffi
1
bmc
1
temporal_logic
1
smf
1
spring
1
rts
1
btor
1
rtl
1
bit-vector
1
model-checking
1
symbolic-execution-engine
1
merkletree
1
rust-lang
1
sparse-merkle-tree
1
symbolic-execution
1
monster
1
parsing
1
smt2
1
bindings
1
riscu
1
mpt
1
sparse
1
git
1
vsdb
1
plugin
1