The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models | IEEE Conference Publication | IEEE Xplore