pycard
pysat
pysolvers