This is the fourth part of the SAT series. For your convenience you can find other parts in the table of contents in Part 1 — Boolean logic Let’s use C++ templates to solve 3CNF SAT in compile-time. The solution First, let’s start with the code: Problem definition Let’s start with the main function which … Continue reading SAT Part 4 — Solving 3CNF with C++ templates