Spanning Subgraph Isomorphism in Sage

Code and attribution goes here