SAT solver Modern SAT solvers: fast, neat and underused - TheCodingNest - [HN] part 1 part 2 part 3 Written on May 26, 2019, Last update on May 26, 2019 sat solver