Add quiet option to suppress printing solutions, and count option to print number of solutions found.