[WIP] checking if we can find similar graph

[wires]

tries to find assignment of nodes and edges using logic programming and some brute force hacking