Problema Installazione GRASP
Inviato: martedì 3 aprile 2012, 18:33
Salve a tutti gli utenti 
Sono nuovo del forum e ho poca esperienza con linux.
Ho dei problemi ad installare GRASP, programma che serve per determinare la soddisfacibilità di una formula booleana.
Ho provato ad usare il comando make ma il risultato è questo:
Se qualcuno di buon cuore volesse aiutarmi il programma è reperibile qui http://www.cs.ubc.ca/~hoos/SATLIB/Solvers/SAT/GRASP/fgrasp.tar.gz
Sono nuovo del forum e ho poca esperienza con linux.
Ho dei problemi ad installare GRASP, programma che serve per determinare la soddisfacibilità di una formula booleana.
Ho provato ad usare il comando make ma il risultato è questo:
Codice: Seleziona tutto
sed '/^#--DO NOT CHANGE ANYTHING AFTER THIS LINE/,$d' Makefile >mktemp
echo '#--DO NOT CHANGE ANYTHING AFTER THIS LINE' >>mktemp
g++ -M array.cc darray.cc memory.cc random.cc switches.cc utils.cc id_list.cc cnf_Parser2.cc fgrp_BCA.cc fgrp_BCP.cc fgrp_CDB.cc fgrp_Configure.cc fgrp_DecisionEng.cc fgrp_DeductionEng.cc fgrp_DiagnosisEng.cc fgrp_Mode.cc fgrp_Partition.cc fgrp_SAT.cc fgrp_STS.cc printman.cc sat-grasp.cc >>mktemp
darray.hh:19:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
memory.cc:15:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
switches.cc:17:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
utils.cc:15:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
darray.hh:19:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
cnf_Parser2.cc:19:21: fatal error: fstream.h: File o directory non esistente
compilation terminated.
fgrp_Mode.hh:16:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
fgrp_CDB.hh:16:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
fgrp_CDB.cc:16:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
list.hh:20:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
sorted_list.hh:19:21: fatal error: fstream.h: File o directory non esistente
compilation terminated.
fgrp_DeductionEng.hh:20:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
fgrp_Mode.hh:16:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
fgrp_Mode.hh:16:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
list.hh:20:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
fgrp_Mode.hh:16:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
printman.cc:3:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
sat-grasp.cc:17:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
make: *** [depend] Errore 1
