termination (pypi): A library for first-order term-rewriting
Keywords: first-order-logic|python|python3|term-rewriting