Although modern SAT solvers has a ring to it, I wish we would go back to calling... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

projectramo on May 19, 2019 | parent | context | favorite | on: Modern SAT solvers: fast, neat and underused

Although modern SAT solvers has a ring to it, I wish we would go back to calling them high schoolers.

Wistar on May 19, 2019 [–]

Yes. Isn't this what has Felicity Huffman is facing a prison sentence?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact