Just a quick note which may or may not be useful; I think the biggest challenge in optimization problems is converting the constraints from object/concept spac

Just a quick note which may or may not be useful; I think the biggest challenge in optimization problems is converting the constraints from object/concept space to integer/constraint space and back. Once you're done with that, it doesn't really matter which tools you use as long as they provide the mathematical operations necessary.