Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers
rust
quantum-computing
ising-spin-models
quantum-annealing
quantum-circuits
adiabatic-quantum-computing
-
Updated
Aug 6, 2024 - Rust