I was kinda hoping for some kind of live 3SAT solver competition. College-admissions SAT is still a good callout though, and probably more relevant / memorable

I was kinda hoping for some kind of live 3SAT solver competition. College-admissions SAT is still a good callout though, and probably more relevant / memorable to more people.