Blog πŸ“–

Subscribe to my blog via RSS

Modelling Git Operations as Planning Problems

Modelling Git Operations as Planning Problems

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.

Built with SvelteKit and hosted on GitHub Pages.

View this website on GitHub!

Other pages