* #variable= 0 #constraint= 0
* This is invalid according to the grammer of http://www.cril.univ-artois.fr/PB11/format.pdf ,
* but we relax the grammar to allow it.
min: ;