| ::eclipse.tptp::Come here to participate in discussions relating to the TPTP Project. Questions and discussions about using TPTP and dependent tools should be posted here. If you have ideas, comments, or issues with the project or interest in contributing to or consuming the project, this is the place to do it. The TPTP PMC is committed to an open process for advancing this project and welcomes your active participation. Want to know more? See the Test & Performance Tools Platform Project home page and get involved! |