some more equational provers

README.md

@@ -21,6 +21,9 @@ Links:
 - Automated provers for equational theories
     - [Prover9 and Mace4](https://www.cs.unm.edu/~mccune/prover9/)
     - [Vampire](https://en.wikipedia.org/wiki/Vampire_(theorem_prover))
+    - [eprover](https://github.com/eprover/eprover)
+    - [twee](https://nick8325.github.io/twee/)
+    - [zipperposition](https://github.com/sneeuwballen/zipperposition)
     - ["Guided Equality Saturation"](https://dl.acm.org/doi/10.1145/3632900), Thomas Kœhler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer, Jan 5 2024.
     - ["Rewrite Rule Inference Using Equality Saturation"](https://arxiv.org/abs/2108.10436), Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock, 23 Aug 2021.
 - Other tools