2 ms·

Thanks for the comment. Have you run cplint on a kb of the similar size before and gotten it to finish in reasonable time?

• riku_iki 2y ago
  I never used cplint, but I use other software (including I built myself) to process KBs with many billions of facts.
  • xabush 2y ago
    Is the software open-source? If so, can you share a link to it?