Software to convert digital circuits into matrices to be used as input for DWAVE quantum annealing computers:
https://marcomattiucci.it/informatica_quantum_computing_annealing3.php
There are two programs available:
(1) the circuit encoder Qencode.py that can transform any asynchronous digital circuit into a Q matrix that can be used as input for QUBO (Quantum Unconstrained Binary Optimization) solvers. Along with the encoder, there are 3 examples of encoded circuits and two QUBO solvers that can run on regular PCs;
(2) an example of software Qdecode_dwave.py (with datafile Qfile_example_for_dwave.txt containing a working example of Q matrix) that can be used to program the DWAVE quantum computer (available online in cloud - https://www.dwavequantum.com) with the mentioned Q matrix and to request a QUBO solution (note that you need a DWAVE subscription to run this software and a "venv" environment on Linux).