GitHub repository: mpyrek/double_pushout
Description: Project concerning double pushout graph rewriting for Graph Transformations and Graph Algorithms 2021/22