#maxsat

Un solucionador de optimización general basado en la reducción de OP a MaxSAT

Un solucionador de optimización basado en reducción a MaxSAT para resolver problemas de manera eficiente y efectiva.