Raymond Hettinger has a great video introduction to SAT solvers in python [47m]

https://www.youtube.com/watch?v=_GP9OpZPUYc