A Python package for the manipulation of mathematical and logical expressions, including simplification, substitution, skolemization, term rewriting, and constraint propagation. - View it on GitHub