• Post Reply Bookmark Topic Watch Topic
  • New Topic

ECLIPSE TPTP  RSS feed

 
Jason Hocker
Ranch Hand
Posts: 132
  • Mark post as helpful
  • send pies
  • Quote
  • Report post to moderator
I'm new to using TPTP. Is there a version under development that works with java 6?

Does anyone have a better set of tests for the static analysis? Or know of a website that has a repository of tests?
 
  • Post Reply Bookmark Topic Watch Topic
  • New Topic
Boost this thread!