Discussion :

[caro_caro]

Bonsoir la liste,

je viens de lire cette page

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

http://www.eclipse.org/tptp/home/project_info/releaseinfo/4.5/support.html#Release

, et j'aimerais savoir si TPTP pourra être utilisé sous Ubuntu Linux ?

Merci d'avance

[djo.mos]

Salut,
Théoriquement oui, pratiquement presque pas.
Ils ont des problèmes avec Linux (droits des fichiers, bibliothèques installés, liens symboliques, etc.) de sorte qu'il fonctionne pas une fois installé.

Pire encore, même la version autonome qu'ils proposent pour Linux n'est pas fonctionnelle

Y'a des solutions sur le net que tu pourrais tomber sur avec un googlage intensif. Je vais essayer de retrouver les liens.

[caro_caro]

Salut,
Théoriquement oui, pratiquement presque pas.
Ils ont des problèmes avec Linux (droits des fichiers, bibliothèques installés, liens symboliques, etc.) de sorte qu'il fonctionne pas une fois installé.

Pire encore, même la version autonome qu'ils proposent pour Linux n'est pas fonctionnelle

Y'a des solutions sur le net que tu pourrais tomber sur avec un googlage intensif. Je vais essayer de retrouver les liens.

Salut,

je n'ai pas encore trouvé la solution à mon problème. Et toi tu es tombé sur des pistes intéressantes?

Merci beaucoup d'avance