Sage functions to search for difficult graphs with respect to computing independence number.