wow, thanks for this, Raymond is a serious python programmer, and old hand, and ... | Hacker News

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

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

wow, thanks for this, Raymond is a serious python programmer, and old hand, and he gives excellent talks. Had no idea he gave a talk on SAT

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