python-sat
z3-solver
numpy
sortedcontainers
