Module solve
Types defining solutions and help working with them
Items of some intermediate solution.
Items of completed solutions.
Filter interesting solution candidates