risolutore CUDF multicriterio
mccs è un risolutore per dipendenze tra pacchetti espresse nel formato
CUDF. Prende in input un problema CUDF e calcola la soluzione migliore
secondo una combinazione di criteri di ottimizzazione scelti dall'utente. I
criteri di base da massimizzare o minimizzare possono essere selezionati da
una lista di criteri predefiniti e questi possono essere combinati usando
vari operatori di aggregazione. Si affida ad un risolutore di
programmazione intera o un risolutore pseudo-booleano per effettuare i suoi
compiti. La versione di mccs distribuita con questo pacchetto può essere
utilizzata insieme a due diversi motori di risoluzione disponibili in
Debian, cioè lpsolve o cbc. Inoltre mccs può anche essere usato insieme ad
altri risolutori come Cplex, Gurobi, Glpk, SCIP o WBO.
