Hacker News new | ask | show | jobs
by nuand 1000 days ago
https://sat-smt.codes/ is the best introductory to expert, and reference work I've ever read on SAT/SMT solvers