Closed this issue 8 years ago · 1 comments
It would be helpful to have a checkbox to turn IVC cores on and off. When doing entailment, it's not necessary to compute the traceability results that IVC provides, and it seems to slow things down by about 30%.
