SMS dit: Applied and algorithmic graph theory