Tags give the ability to mark specific points in history as being important
Version with basic tests for fesable reductions at the current state: 3SAT -> KNAPSACK, CLIQUE COVER -> CHROMATIC NUMBER, CHROMATIC NUMBER -> EXACT COVER, EXACT COVER -> KNAPSACK, KNAPSACK -> PARTITION. It also includes tests for the solving of PARTITION problems