A New and Improved Version Solving Algorithm (DartConf 2018) - Tech Talk