language Essence 1.3

given nweeks, ngroups, size : int(1..)@\Vlabel{line:back:essence:pars}@

letting Golfers be new type of size ngroups * size@\Vlabel{line:back:essence:ntype}@

find sched : set (size weeks) of@\Vlabel{line:back:essence:var}@
	partition (regular, numParts ngroups, partSize size) from Golfers

such that forAll g1, g2 : Golfers, g1 < g2 .@\Vlabel{line:back:essence:con}@
	(sum week in sched . toInt(together({g1, g2}, week))) <= 1