monster-rs (cargo): Monster is a symbolic execution engine for 64-bit RISC-U code
Keywords: smt|symbolic-execution|riscv|riscu|monster|symbolic-execution-engine