package examples.gcd;

import util.arithmetics.primitives.longUtil;

public handler gcd {
	public constraint gcd(long);
	
	rules {
		gcd(0) <=> true.
		gcd(N) \ gcd(M) <=> M >= N | gcd(longUtil.sub(M, N)).
	}
}