lib(mip)

   An example implementing MIP-style branch-and-bound

