Toy project implementing a satsolver in Python using the Davis&Putnam algorithm