SATPLAN Development of a SAT solver, following the SATPLAN, in Python for the course of Artificial Intelligence