crates.io "smt" keyword
View the packages on the crates.io package registry that are tagged with the "smt" keyword.
bitwuzla-sys 0.8.0
Low-level bindings for the Bitwuzla SMT solver7 versions - Latest release: about 1 month ago - 10.7 thousand downloads total - 5 stars on GitHub - 1 maintainer
haybale 0.7.2
Symbolic execution of LLVM IR, written in Rust20 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 25 thousand downloads total - 559 stars on GitHub - 1 maintainer
Top 5.8% on crates.io
18 versions - Latest release: 10 days ago - 9 dependent packages - 51 dependent repositories - 475 thousand downloads total - 413 stars on GitHub - 5 maintainers
z3-sys 0.9.4
Low-level bindings for the Z3 SMT solver from Microsoft Research18 versions - Latest release: 10 days ago - 9 dependent packages - 51 dependent repositories - 475 thousand downloads total - 413 stars on GitHub - 5 maintainers
Top 5.7% on crates.io
23 versions - Latest release: 10 days ago - 12 dependent packages - 55 dependent repositories - 427 thousand downloads total - 413 stars on GitHub - 5 maintainers
z3 0.13.3
High-level rust bindings for the Z3 SMT solver from Microsoft Research23 versions - Latest release: 10 days ago - 12 dependent packages - 55 dependent repositories - 427 thousand downloads total - 413 stars on GitHub - 5 maintainers
jingle 0.1.4
SMT Modeling for Ghidra's PCODE5 versions - Latest release: 11 days ago - 3.03 thousand downloads total - 27 stars on GitHub - 2 maintainers
jingle_sleigh 0.1.4
An FFI layer for Ghidra's SLEIGH5 versions - Latest release: 11 days ago - 3.68 thousand downloads total - 27 stars on GitHub - 1 maintainer
easy-smt 0.3.2
Easily interact with an smt solver as a subprocess15 versions - Latest release: 3 days ago - 1 dependent package - 1 dependent repositories - 524 thousand downloads total - 35 stars on GitHub - 2 maintainers
haybale-pitchfork 0.4.1
Verifying constant-time code with symbolic execution6 versions - Latest release: almost 4 years ago - 7.55 thousand downloads total - 39 stars on GitHub - 1 maintainer
aws-smt-strings 0.4.0
A library for manipulating SMT-LIB strings and regular expressions4 versions - Latest release: 9 months ago - 4.42 thousand downloads total - 9 stars on GitHub - 2 maintainers
smt-scope 0.1.3
A library for parsing and analysing SMT traces.4 versions - Latest release: 4 months ago - 1.77 thousand downloads total - 37 stars on GitHub - 1 maintainer
rustproof 0.1.0
Compiler plugin to generate verification conditions from Rust code.1 version - Latest release: almost 9 years ago - 2.21 thousand downloads total - 96 stars on GitHub - 1 maintainer
smtlib-build-util 0.1.8
The build utils for building the smtlib family of crates2 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 solvers10 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 solvers10 versions - Latest release: 4 months ago - 1 dependent package - 1 dependent repositories - 11.9 thousand downloads total - 17 stars on GitHub - 1 maintainer
amzn-smt-strings
A library for manipulating SMT-LIB strings and regular expressions1 version - Latest release: 7 days ago - 1.17 thousand downloads total - 9 stars on GitHub - 2 maintainers
tatam 0.4.0
Theory And Time Analysis Machine30 versions - Latest release: 9 days ago - 24.3 thousand downloads total - 3 stars on GitHub - 1 maintainer
seer-z3 0.1.2
High-level rust bindings for the Z3 SMT solver from Microsoft Research3 versions - Latest release: about 7 years ago - 1 dependent package - 1 dependent repositories - 6.68 thousand downloads total - 2 stars on GitHub - 1 maintainer
boolector-sys 0.7.2
Low-level bindings for the Boolector SMT solver15 versions - Latest release: over 1 year ago - 2 dependent packages - 5 dependent repositories - 39.9 thousand downloads total - 6 stars on GitHub - 1 maintainer
patronus 0.33.0
Hardware bug-finding toolkit.22 versions - Latest release: about 2 months ago - 20.6 thousand downloads total - 11 stars on GitHub - 1 maintainer
m2csmt 0.1.3
A solver for systems of non-linear (in)equations4 versions - Latest release: 8 months ago - 2.54 thousand downloads total - 0 stars on gitlab.com - 1 maintainer
libpatron 0.17.3
Hardware bug-finding toolkit.50 versions - Latest release: about 1 year ago - 63.5 thousand downloads total - 11 stars on GitHub - 1 maintainer
smt2patch 0.1.1
Library and binary tool to patch SMT2 files3 versions - Latest release: about 4 years ago - 3.48 thousand downloads total - 23 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
z3d 0.1.0
Z3 DSL interface for Rust1 version - Latest release: almost 6 years ago - 1.73 thousand downloads total - 9 stars on GitHub - 1 maintainer
spring-cartographer-rs 0.1.1
A parser for the spring rts engine map files2 versions - Latest release: over 2 years ago - 2.42 thousand downloads total - 0 stars on GitHub - 1 maintainer
smt2proxy 0.2.4
Binary tool to intercept and pre-process SMT2 commands7 versions - Latest release: about 4 years ago - 7.76 thousand downloads total - 23 stars on GitHub - 1 maintainer
rustproof-libsmt 0.1.0
Rust bindings for z3 as utilized by RustProof.1 version - Latest release: almost 9 years ago - 1 dependent package - 3.39 thousand downloads total - 2 stars on GitHub - 1 maintainer
smt-lang 0.7.5
Sat Modulo Theory Language19 versions - Latest release: over 2 years ago - 19.9 thousand downloads total - 0 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: about 4 years ago - 5.84 thousand downloads total - 10 stars on GitHub - 1 maintainer
smt2 0.2.0
A SMT-LIB 2.6 parsing/formatting library for Rust2 versions - Latest release: almost 5 years ago - 2.76 thousand downloads total - 8 stars on GitHub - 1 maintainer
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 6 years ago - 4.12 thousand downloads total - 36 stars on GitHub - 1 maintainer
smt2parser 0.6.1
Generic parser library for the SMT-LIB-2 format11 versions - Latest release: almost 4 years ago - 5 dependent packages - 271 dependent repositories - 420 thousand downloads total - 21 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 3 years ago - 2 dependent repositories - 16.6 thousand downloads total - 22 stars on GitHub - 1 maintainer
mikino 0.9.1
A simple induction and BMC engine9 versions - Latest release: about 3 years ago - 10.3 thousand downloads total - 0 stars on GitHub - 1 maintainer
smt-str 0.2.3
Utilities for working with SMT-LIB strings in Rust6 versions - Latest release: 3 months ago - 2.29 thousand downloads total - 0 stars on GitHub - 1 maintainer
rsmt2 0.16.2
Wrapper for SMT-LIB 2 compliant SMT solvers.29 versions - Latest release: almost 3 years ago - 1 dependent package - 13 dependent repositories - 51.9 thousand downloads total - 66 stars on GitHub - 1 maintainer
yices2-sys 2.6.4
Low level Rust bindings to the Yices 2 SMT solver3 versions - Latest release: almost 2 years ago - 1 dependent package - 4.58 thousand downloads total - 6 stars on GitHub - 1 maintainer
mikino_api 0.9.1
A simple induction and BMC engine8 versions - Latest release: about 3 years ago - 1 dependent package - 1 dependent repositories - 10.4 thousand downloads total - 0 stars on GitHub - 1 maintainer
z3_ref 0.1.4
High level interface to the Z3 SMT solver5 versions - Latest release: almost 7 years ago - 7.44 thousand downloads total - 1 stars on GitHub - 1 maintainer
xsmt 3.0.7
Sparse merkle tree implement in rust10 versions - Latest release: about 3 years ago - 9.83 thousand downloads total - 2 stars on GitHub - 2 maintainers
rsmt2-zz 0.11.1
Wrapper for SMT-LIB 2 compliant SMT solvers. With ZZ downstream fixes2 versions - Latest release: over 5 years ago - 4.03 thousand downloads total - 66 stars on GitHub - 1 maintainer
yices2 0.1.4
Rust bindings to the Yices 2 SMT solver5 versions - Latest release: almost 2 years ago - 5.23 thousand downloads total - 6 stars on GitHub - 1 maintainer
z3tracer 0.11.2
Parser for Z3 tracing logs15 versions - Latest release: almost 4 years ago - 1 dependent package - 269 dependent repositories - 417 thousand downloads total - 23 stars on GitHub - 1 maintainer
smt_sb-rs 0.1.6
SMT Simple Binding7 versions - Latest release: over 1 year ago - 1 dependent package - 8.18 thousand downloads total - 0 stars on GitHub - 1 maintainer
boolector 0.4.3
Safe high-level bindings for the Boolector SMT solver9 versions - Latest release: over 3 years ago - 4 dependent packages - 6 dependent repositories - 25.7 thousand downloads total - 9 stars on GitHub - 1 maintainer
rlfsc 0.2.2
A checker for the LFSC proof language10 versions - Latest release: over 4 years ago - 11.8 thousand downloads total - 1 stars on GitHub - 1 maintainer
aws-smt-ir-derive 0.1.2
Intermediate representation for SMT problems3 versions - Latest release: almost 2 years ago - 1 dependent package - 4.25 thousand downloads total - 40 stars on GitHub - 2 maintainers
amzn-smt-ir-derive
Intermediate representation for SMT problems1 version - Latest release: 29 days ago - 1 dependent package - 1 dependent repositories - 1.19 thousand downloads total - 40 stars on GitHub - 2 maintainers
aws-smt-ir 0.3.0
Intermediate representation for SMT problems4 versions - Latest release: almost 2 years ago - 1 dependent repositories - 4.84 thousand downloads total - 40 stars on GitHub - 2 maintainers
amzn-smt-ir
Intermediate representation for SMT problems1 version - Latest release: 29 days ago - 1.15 thousand downloads total - 40 stars on GitHub - 2 maintainers
Related Keywords
solver
20
smt-lib
12
satisfiability
11
z3
9
rust
9
ffi
6
smt-solver
5
smtlib
4
verification
4
sat
3
strings
3
merkle-tree
2
sparse_merkle_tree
2
merkle
2
induction
2
rtl
2
model-checking
2
btor
2
bit-vector
2
boolector
2
yices
2
ghidra
2
pcode
2
sleigh
2
p-code
2
reverse-engineering
2
symbolic
2
llvm
2
regular-expressions
2
ffi-bindings
2
logic-programming
2
rust-bindings
2
rust-lang
1
merkletree
1
sparse-merkle-tree
1
ir
1
theories
1
modulo
1
parsing
1
smt2
1
regex
1
automata
1
sparse
1
mpt
1
git
1
vsdb
1
bindings
1
type-checker
1
lfsc
1
dependent-types
1
proof-checker
1
axiom-profiler
1
performance
1
trace
1
axiom
1
e-matching
1
instantiation
1
profiler
1
quantifiers
1
plugin
1
constant-time
1
bmc
1
temporal_logic
1
rust-ffi
1
interval
1
trigonometry
1
rts
1
spring
1
smf
1
language
1
symbolic-execution
1
monster
1
riscu
1
riscv
1
symbolic-execution-engine
1