By the end of this series of posts we will have composed some code in Python (roughly 100 lines) that proves the satisfiability of Partit...