[riku_iki]

I never used cplint, but I use other software (including I built myself) to process KBs with many billions of facts.

[xabush]

Is the software open-source? If so, can you share a link to it?