I am trying to solve a mixed integer minimization problem, where there are a number of parameters, and there are products of parameters with variables appearing in the objective function. I assume that this counts as a non-linear program, due to the product of variables/parameters.

I tried searching for some kind of software or just some algorithm/methodology to solve a problem like this, but I haven't found anything. Is it even possible to get a solution as a function of the parameters?