3 ms·

I think that is an algorithm from a different paper, namely this one: https://www.fmi.uni-sofia.bg/fmi/logic/theses/mitankin-en.pdf https://www.fmi.uni-sofia.bg

by jules 11y ago

I think that is an algorithm from a different paper, namely this one: https://www.fmi.uni-sofia.bg/fmi/logic/theses/mitankin-en.pdf https://www.fmi.uni-sofia.bg/fmi/logic/theses/mitankin-en.pd... It looks like that is still quite a bit more complicated; 40 lines vs 40+ files ;-)

DannyBee 11y ago
That one may be (I think this is the later 2004 paper by one of the same authors), but Moman definitely is an implementation of the algorithm they did (it turns out they mention this in a different blog post).