Implementation by Z. Koldovsky and P. Tichavsky of the efica algorithm