[__MatrixMan__]

SAT solvers are great for when you want to create space in your day for idly thinking about the halting problem.