Hi, having seen the 2012 mail about this: http://list.coin-or.org/pipermail/cbc/2012-February/000766.html, interested if that is enough to obtain all feasible (for sat problems) / optimal integer solutions? Gleb