clausal>=1.0
scipy
numpy
