Version 0.99.2: Tableaus now print their name before outputting a solution.