A subgraph matching library offering two interchangeable matchers over the same [adjacency, labels] input: a DualIso implementation (after M. Saltz et al.) and a VF2++ implementation (Juttner & Madarasi) that also handles cyclic queries and self-loops.