eight queen problem with robdd