Adding linking solution to pool with 'UBIsSolved' after solving (UB) for hypercube IC and generalized no-good cuts
Adding linking solution to pool with 'UBIsSolved' after solving (UB) for hypercube IC and generalized no-good cuts

tkralphs/MibS,tkralphs/MibS,tkralphs/MibS,tkralphs/MibS