2 releases
| 0.1.1 | May 22, 2024 |
|---|---|
| 0.1.0 | May 21, 2024 |
#516 in Math
4.5MB
109K
SLoC
jingle: Z3 + SLEIGH
jingle uses the sleigh bindings provided by jingle_sleigh and the excellent
z3 bindings from the z3 crate to provide SMT modeling of sequences of PCODE instructions
Dependencies
~25MB
~522K SLoC