Using solver to generate games with 1 solution