TPTP sur Ubuntu

Bonsoir la liste,

je viens de lire cette page

Code:

---

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

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.

Citation:

---

Envoyé par 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.

---

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