Poppycock. A sat solver is leveraged to minify CSS. This is a discrete optimization problem, for which sat solvers are well-suited. That doesn't indicate tha

Poppycock. A sat solver is leveraged to minify CSS. This is a discrete optimization problem, for which sat solvers are well-suited. That doesn't indicate that CSS is too complex.