A branch-and-bound solver for the knapsack problem [A.I. - Programmazione Funzionale]