Problemi con file Puzzle *.DFG
Clicca QUI per vedere il messaggio nel forum |
| Logan12584 |
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 |
| Polo |
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?? |
| yeah |
consigli?
Non passare dall'editor?
In SPASS funzionano? |
| Logan12584 |
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 |
|
|
|
