crates.io "z3" keyword
View the packages on the crates.io package registry that are tagged with the "z3" keyword.
jingle 0.1.4
SMT Modeling for Ghidra's PCODE5 versions - Latest release: 12 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: 12 days ago - 3.68 thousand downloads total - 27 stars on GitHub - 1 maintainer
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
easyz3 0.0.1
A simplified API for the wonderful Z3 SAT solver2 versions - Latest release: 7 months ago - 1.28 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
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
jsrp 0.3.1
A Rust library for predicting JavaScript `Math.random()` output for Node, Chrome, Firefox, and Sa...4 versions - Latest release: 18 days ago - 341 downloads total - 0 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
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
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
Related Keywords
smt
9
solver
4
satisfiability
3
rust
2
reverse-engineering
2
p-code
2
sleigh
2
pcode
2
ghidra
2
sat
1
theories
1
modulo
1
randomness
1
predictor
1
js
1
javascript
1
language
1
verification
1
theorem_prover
1
satsolver
1
constraint_solver
1
quantifiers
1
profiler
1
instantiation
1
e-matching
1
axiom
1
trace
1
performance
1
axiom-profiler
1