pycard
pysat
pysolvers
