COMMENT CSP Problem Format
COMMENT 
COMMENT Information section. This section contains info on the problem
COMMENT which may happily be ignored by the program, but which may be
COMMENT useful to have in the problem format. These are the sort of things
COMMENT which we might want to grep for in a big directory of problems (to
COMMENT pick out the soluble ones, for example). The reason for not putting
COMMENT these items in a comment line, is that they could be written in
COMMENT several ways ("this problem is soluble", "not soluble", etc).

info (
solubility 1
fc_cbj_checks 12345
.
.
.
)

COMMENT Domains follow. There are 5 different domains. Format is
COMMENT domains n ((a1 b1 c1) ... (an bn cn)) where n=number of domains
COMMENT ax = domain ID, bx = number of elements in domain,
COMMENT cx = list of domain elements
 domains 5 (
(1 7 (red orange yellow green blue indigo violet))
(2 5 (apple orange pear banana mango))
(3 2 (yes no))
(4 10 (0 1 2 3 4 5 6 7 8 9))
(5 4 (major redwood heseltine portillo))
)

COMMENT Variables follow. There are 10 variables. The format is
COMMENT similar-ish to above. First element in list is variable
COMMENT identifier, second is corresponding domain ID. Further
COMMENT details such as variables' initial values could also be
COMMENT detailed here...

variables 10 (
(colours 1)
(colors 1)
(a 4)
(b 4)
(c 4)
(fruits 2)
(answer 3)
(tories 5)
(binary 3)
(lunch 2)
)

COMMENT Constraints follow... This section lists the edges in the
COMMENT constraint graph. Edges are assumed to be symmetric, ie,
COMMENT if (a b) is listed, (b a) need not be listed.

constraints 15 (
(a b)
.
.
.
(tories answer)
)

COMMENT Conflicts follow... These are the disallowed pairs/triples
COMMENT or whatever...
COMMENT
COMMENT You are only allowed ONE set of conflicts per constraint.
COMMENT E.g. the following is NOT ok
COMMENT ((a b) 2 ((0 1) (2 3)))
COMMENT ((a b) 3 ((2 4) (3 3) (4 5)))
COMMENT Instead do the conflicts above in a single set, as is done below

conflicts 15 (
((a b) 5 ((0 1) (2 3) (2 4) (3 3) (4 5)))
.
.
.
((tories answer) 4 ((major no) (redwood yes) (heseltine yes) (portillo
yes)))
)

ENDCSP prob1

BEGINCSP prob2

COMMENT Another problem in here...
.
.
.

ENDCSP prob2