The Equality Graphs link [0] led me to discover ESC/Java [1] [2]. Has anyone actually tried or had any success with ESC/Java? It's piqued my curiosity to comp

The Equality Graphs link [0] led me to discover ESC/Java [1] [2]. Has anyone actually tried or had any success with ESC/Java? It's piqued my curiosity to compare with Spot bugs (formerly known as Findbugs). [0] https://en.wikipedia.org/wiki/E-graph https://en.wikipedia.org/wiki/E-graph [1] https://en.wikipedia.org/wiki/ESC/Java https://en.wikipedia.org/wiki/ESC/Java [2] https://www.kindsoftware.com/products/opensource/escjava2/ https://www.kindsoftware.com/products/opensource/escjava2/