switch to Char senses
remove cbgetmipsolution (not supported by GLPK)