This project is no longer in use.

The original design of this algorithm was imperfect, and so it has been replaced by better (correct) matching tools in the new Lurch deductive engine.

Do not use this repository any longer.