Here you will find the software we wrote
Following our paper about graph encoding, we wrote Failure-Resilient Eulerian graph Encoding (for) Quantum tOurs (FREQOO). With such software, we can encode any graph into an unitary matrix. Check out the link below to see the source code.
We developed an interactive version of FREEQO. This web platform allows the user to input any multigraph in dot format. Such graph is encoded into a matrix that can be edited by the user to obtain an unitary depicting the adjacency properties of the input graph.
We implemented a toy version of the methods and algorithms introduced in the paper "Speeding up Answer Set Programming by Quantum Computation".