A parser for SAT files written in Python