Yes, knapsack can be optimally solved with these solvers. Indeed, the time complexity of these optimisers is exponential.