A solution to the 8-queens problem using JEOPS.