issues
search
System-Verification-Lab
/
Quokka-Sharp
2
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Merge Complex in to main adding computational basis suport
#38
dekelzeldov
closed
3 weeks ago
0
Direct Encoding of Toffli gate or decomposed in Clifford+T?
#37
JingyiMei98
opened
5 months ago
0
Control the number of processes of `gpmc`
#36
JingyiMei98
closed
3 months ago
1
The tool reports an incorrect answer `False` when checking two identical circuits.
#35
alan23273850
opened
5 months ago
7
accuracy issue
#34
dekelzeldov
closed
5 months ago
0
Derive short Boolean formula for Toffoli
#30
timcp
opened
8 months ago
0
extend "single-", "multi-" to a general measurement
#29
JingyiMei98
opened
8 months ago
0
A separate procedure to encode the circuits
#28
JingyiMei98
opened
8 months ago
16
Operation merging with Sympy
#27
alaarman
opened
8 months ago
0
Quasimodo as submodule
#25
alaarman
opened
9 months ago
0
QCMC / QCEC in pip
#24
alaarman
closed
8 months ago
0
QCMC / QCEC packaging
#23
alaarman
opened
9 months ago
0
Measure memory use
#21
alaarman
closed
10 months ago
0
Error message
#13
JingyiMei98
closed
10 months ago
0