Site isn't working for me; here's an archive link: https://web.archive.org/web/20180804000124/https://codingnest.com/modern-sat-solvers-fast-neat-underused-par

Site isn't working for me; here's an archive link: https://web.archive.org/web/20180804000124/https://codingnest.com/modern-sat-solvers-fast-neat-underused-part-1-of-n/ https://web.archive.org/web/20180804000124/https://codingnes...