Added ZDD-based solver, generate only nonograms with unique solution