GrInvIn (Graph Invariant Investigator) is a framework for graph investigation. It is developed using software engineering practices and with reusability, maintainability and correctness as the main goals.