.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- Problemi con file Puzzle *.DFG (http://www.dsy.it/forum/showthread.php?threadid=33938)

Problemi con file Puzzle *.DFG

Io ed alcuni miei compagni abbiamo dei problemi a far partire i file che trovate a questo URL: http://www.lsv.ens-cachan.fr/~goubault/H1.dist/dfg/PUZ/

Abbiamo provato ad eliminare spazi ed accapo e riusciamo a vedere gli assiomi e le funzioni sullo SPASS EDITOR, ma quando andiamo ad eseguire ci da un errore alla 1 o 2 riga (dipendente dal file)... non riusciamo a venirne a capo... consigli?

p.s.: ovviamente utiliziamo le librerie con il '+'

Grazie

__________________
Scompaio e di me solo fievoli ricordi affolleranno la mente delle genti conosciute,sarò fantasma e vagherò nelle terre di nessuno, finché l ultimo ricordo morrà insieme con il mio spirito...
Se non si è disposti a rivivere la propria vita, perché darsi la pena di viverla adesso ?
Youtube.it

Non riesco a capire se intendi qualsiasi file o uno specifico cmq..
Io ho provato uno dei file a caso semplicemente utilizzando il comando spass <nome file> funziona e non mi da nessun errore.
Ma perchè usi questi file non fai prima ad usare l'archivio sul link del corso??

consigli?

__________________
?

Grazie per le risposte, si in spass funzionano, ma usando l'editor si avrebbe immediatamente la visuale degli assiomi. In spass (desk o a linea di cmd) invece dalle formule agli assiomi ci si mette più tempo, soprattutto se le formule sono difficili perchè bisogna tradurli a manino.

Era per ottimizzare i tempi...

L'editor in java poteva essere fatto molto meglio

__________________
Scompaio e di me solo fievoli ricordi affolleranno la mente delle genti conosciute,sarò fantasma e vagherò nelle terre di nessuno, finché l ultimo ricordo morrà insieme con il mio spirito...
Se non si è disposti a rivivere la propria vita, perché darsi la pena di viverla adesso ?
Youtube.it