rename ToySolver.HittingSet to ToySolver.HittingSet.Simple
test the equivalence of ToySolver.Knapsack.DP and ToySolver.Knapsack.BB
rename solveQFLA to solveQFLIRAConj