You can use the Solver tool also for integer programming
(IP) and more generally mixed integer programming. In integer
programming some of the decision variables are required to take on
integer values. To do so, just add a constraint whose type is
`Int'.