71.14-SAT-Problem 71.14 Modelos y Optimización I Segundo Cuatrimestre 2016 Se usó GLPK para el modelado de datos y su correspondiente resolución. glpsol -m tp.mod -d tp.dat -o tp.sol