A unified modeling and solution framework for combinatorial optimization problems | Litlas