A knapsack solver. Includes some test cases.