Issues

• Partial equivalence checking

  System-Verification-Lab/Quokka-Sharp#43 · Filter by author JingyiMei98 opened on Jul 18, 2025

• Quokka improvements

  System-Verification-Lab/Quokka-Sharp#39 · Filter by author JingyiMei98 opened on Jan 23, 2025
  1

• Direct Encoding of Toffli gate or decomposed in Clifford+T?

  System-Verification-Lab/Quokka-Sharp#37 · Filter by author JingyiMei98 opened on Jun 21, 2024
  2

• Derive short Boolean formula for Toffoli

  prio:low
  System-Verification-Lab/Quokka-Sharp#30 · Filter by author timcp opened on Mar 7, 2024
  

• Operation merging with Sympy

  System-Verification-Lab/Quokka-Sharp#27 · Filter by author alaarman opened on Feb 23, 2024