3 ms·Understanding SAT by Implementing a Simple SAT Solver in Python (2014)1 points by virgil_disgr4ce 9y ago