https://sat-smt.codes/ is the best introductory to expert, and reference work I'... | Hacker News

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

nuand on Sept 18, 2023 | parent | context | favorite | on: The International SAT Competition Web Page

https://sat-smt.codes/ is the best introductory to expert, and reference work I've ever read on SAT/SMT solvers

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact