package csg260.csp;

import edu.neu.ccs.demeter.dj.* ;
import java.util.*;
import java.io.*;

*public* CSP = <comments> List(Comment) Preamble <constraints> 
List(Constraint) .

*public* Comment = "c" <comment> Line .

*public* Preamble = "p" <numVariables> int <numConstraints> int .

*public* Constraint = Relation [Weight] ":" List(Variable) "0" .
# relation is 0 to 255 inclusive
*public* Relation = <relationNumber> int .
# weight is 1 if not specified
*public* Weight = <weight> int .
# variable is between 1 and numVaraibles inclusive
*public* Variable = <variable> int .

*public* List(S) ~ {S}.

*public* Main = .