Dose_common.CriteriaSourceParse a criteria field
Return the string encoding the criteria. if the given solver does not respect the MISC2012 syntax, the function fails
val iter :
((string * string * string * Re.re option) -> unit) ->
Criteria_types.criteria ->
unitReturn true is the solver respect the MISC2012 syntax
An associative list containing the criteria associated to the following shortcuts :