cksystemsgroup/unicorn

Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers

语言：Rust · GitHub 星标：42 · Fork：9

话题：adiabatic-quantum-computing · ising-spin-models · quantum-annealing · quantum-circuits · quantum-computing · rust

在 GitHub 上查看原仓库