next up previous
Next: Slanguage Up: Specification Files Previous: Lexpr

Problem

An Problem is introduced by the Problem keyword followed the name of the problem followed by a list of Lexprs which are the constraints of the problem.



Irene DURAND
2007-07-10