package gen; import java.io.FileInputStream; import edu.neu.ccs.demeterf.lib.*; nogen List(X) = Cons(X) | Empty(X). nogen Cons(X) = X List(X). nogen Empty(X) = . nogen Option(X)= Some(X) | None(X). nogen Some(X) = X. nogen None(X) = . Both = "cl" ChallengeLanguage "pl" ProblemInstance EOF. ChallengeLanguage = "(" Equality Inequality "price"

Price ")". Equality = "equality" int int int int. Inequality = "inequality" int int int. Price = double. ProblemInstance = List(Constraint). Constraint = Weight Body. Weight = "weight" int. Body = Eq | Ineq int. Eq = "=" VC "+" VC "+" VC. Ineq = ">=" VC "+" VC . VC = int "*" Var. Var = ident.