An experimental SAT solver based in Python to explore SAT solving algorithms. Not intended to be an efficient SAT solver, but instead an exploration of SAT solving algorithms and methods