lightsout-Answer-set-programming-