nogen include "../scg/scg.cd"; package mmg; import scg.*; MMGInstance = double implements InstanceI. MMGSolution = double implements SolutionI. MMGInstanceSet = implements InstanceSetI. MMGDomain = implements DomainI. MMGConfig = "mmg_config[" *l*t "maxDigits:" *s int // maximum number of digits in instance allowed "]" implements DomainConfigI.