Framework for enumerating through graphs and checking for certain properties