GitHub repository: CAS-ual-TY/unicorn
Primary language: Rust
Description: Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers