Salve a tutti.
Primo, perdonate la mia ignoranza.
Secondo, sto riscontrando un problema in un programma che sto scrivendo.
Non so se avete mai sentito parlare della libreria Cudd, in pratica implementa le BDD e altre strutture dati (io la sto usando per le BDD, ecco il link al sito http://vlsi.colorado.edu/~fabio/CUDD/). Per usare tale libreria devo includere due file header nel mio sorgente e linkare altri tre file .a all'eseguibile. Per i due header non c'è problema, infatti li vede e mi vede anche i tipi di dato, il problema è che non conosco un modo per linkare i file all'eseguibile. Come si fa?
EDIT:ah ecco dimenticavo, uso Visual C++ 6.0.
Grazie e scusate