issues
search
overshiki
/
SymbolicCircuit.jl
Symbolic system for Qauntum computing, using term rewriting & equality saturation technique to manipulate quantum circuit
MIT License
8
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
single_qubit_gates benchmark
#3
overshiki
opened
2 years ago
0
a system with less dynamic rules(replacing dynamic rules into rewrite rules if possible)
#2
overshiki
opened
2 years ago
1
areequal may fail for longer circuit, due to timeout or out of eclasslimit during egraph saturation process
#1
overshiki
opened
2 years ago
0