An implementation of exact knapsack separation