jingle 0.2.6

SMT Modeling for Ghidra's PCODE
Documentation