Queen puzzle solver in bit logics