python-sat
numpy
