Modelling Git Operations as Planning Problems
1/20/2021![Modelling Git Operations as Planning Problems](/assets/2021-01-git-operations-as-planning-problems.png)
Bachelor Thesis. The goal of this thesis is to formally define a model of a subset of Git commands which mutate the revision graph, and to model those mutations as a planning task in the Planning Domain Definition Language. Multiple ways to model those graphs will be explored and those models will be compared by testing them using a set of planners.