clausal>=1.0
sympy
