I agree with you here. I think MiniZinc is more like a free/open-source version of the AIMMS modeling language, although AIMMS seems to have better I/O facilities.