Até agora estudamos várias formas de resolução de exercícios no solver. Dependendo dasituação em que nos está apresentado, temos resoluções que serão sem restrições de resposta(ou seja, a resposta pode adquirir qualquer valor ≥ 0), outras que serão apenas para números inteiros, outras ainda apenas com números binários