In the README file, a tutorial link http://www.ais.uni-bonn.de/~schulz/tag/cuv is mentioned. But accessing this link results into a 404 error.