PDA

View Full Version : TPTP e il c++???

NA01
15-01-2007, 18:19
ho messo tptp da eclipse usando i repository di callisto, ma non trovo le regole per il c++.... sapete dove le posso rubare?
ho cercato sul sito, ma per importarle ceca un dat, e non ne trovo ne da soli ne dentro ai jar...


ciao!!!
NA01
15-01-2007, 20:54
ps: comunque consiglierei di provarlo a tutti!
è davvero un bel coso :-D

ciao!
NA01
17-01-2007, 07:02
eddaaaaiiii :D
non usa nessuno sto simpaticissimo attrezzo?

ciaaaaaooo!
cionci
17-01-2007, 09:58
Non l'avevo mai visto...sicuramente mi servirà in futuro ;)
NA01
17-01-2007, 10:10
Non l'avevo mai visto...sicuramente mi servirà in futuro ;)
se riesci a farlo funzionare con il c++ fammi sapere :cool:

ciaaaaoooOOooOOoOOOooO!!!! :-D