[todayisfriday]

For SAT, a problem that is pretty much the poster child for "NP-Complete," the progress of SAT solvers over the past couple of decades has been nothing short of astounding.