Our readingWhat is a korrent?
Augmenting a general-purpose solver with domain-specific heuristics commonly gives it a meaningful performance boost.
Drawn from what Nelson Elhage said
Subjectsoftware performance
What this subject means
software performance Speed as a mark of quality: bloat, boot times, and software that got slower on hardware that got faster.