WMC to UMC

[JingyiMei98]

• Pauli basis

  • Clifford + T
  • Clifford + T + R

• Comp basis

  • complex number to real numbers

• concat all calls to #SAT to one call