TODOs Implement a more sophisticated Solver add a symmetry utility (because e.g. the solutions for n = 4 are mirror symmetric)