相关疑难解决方法(0)

您是否找到了正在存档的 TPTP的一个很好的替代方案,以便在Eclipse中分析Java应用程序？

我知道这不是一个编程问题,所以如果这不适合Stack Overflow,请给我留言.

编辑:还有一个相关的问题,从2008年开始,但我正在寻找一些更新的东西.