Hasnain says:

SMT/SAT is always fun.

"But even so, solving the problem with SMT was a lot easier than solving it with SAT. That satisfies me as an explanation for why people prefer it to SAT."

Posted on 2025-06-14T02:06:59+0000