All modules for which code is available

• cfinite
• pisot
• sympy.core.assumptions