TPTP, como instalar e utilizar?

Assuntos Gerais
#1

galera gostaria de umas dicas quanto ao TPTP. nunca consegui instalar e usar essa budega. por isso sempre verifico aplicação no netbeans.
alguém teria algum tutorial ou poderia dar umas dicas
??

#2