At this year's PyCon, Raymond Hettinger gave a talk about the very subject: http... | Hacker News

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

		thijsvandien on May 19, 2019 \| parent \| context \| favorite \| on: Modern SAT solvers: fast, neat and underused At this year's PyCon, Raymond Hettinger gave a talk about the very subject: https://www.youtube.com/watch?v=_GP9OpZPUYc. I haven't watched it yet, but knowing him, it will definitely be worth doing so.

gloflo on May 19, 2019 | [–]

It is! He ran out of time a bit I think, at least it felt quite rushed at times, but I was left very curious and motivated to try some SAT.

dtornabene on May 19, 2019 | [–]

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