There are two programs available: (1) the circuit encoder ??? that can transform any asynchronous digital circuit into a Q matrix that can be used as input for QUBO (Quantum Unconstrained Binary ...