Visualizing the "Hardness" of Factoring – An Interactive Constraint Tableau