https://123dok.org/document/z3dmv32e-introduzione-alla-programmazione-lineare-intera.html