For obscure reasons I know that this is the Finnish word for 'cats', and I wondered if there was any connection there. Apparently the answer is yes https://git

For obscure reasons I know that this is the Finnish word for 'cats', and I wondered if there was any connection there. Apparently the answer is yes https://github.com/arminbiere/kissat https://github.com/arminbiere/kissat or at least the developers have already noticed this coincidence for themselves.