lib/ai: add the eight-queen problem as an example