My copy of original repository from http://verif.cs.vsb.cz/kaira