A Python wrapper to picosat a SAT solver library