pycard
pyformula
pysat
pysolvers
