Add Kruskal bootstrap.
Add data for PA2.
Scala solutions for PA2.
Update SCC test cases.
Add Knapsack test cases.
Add extra reading material for Knapsack.
Add naive knapsack dynamic programming solution.
Add optimal binary search tree implementations.
Add TSP data.
Add concorde TSP solver.
Add 2SAT instances.
Add implication graphs for 2SAT instances.
Add 2SAT pre-processor for generating implication graphs.
Add 2SAT checker, based on SCC.
Cleanup 2SAT checker.