A Python wrapper to picosat --- a SAT solver library