Comment by freemint

I've always wondered how those can be performant at all compared to approaches like SAT.