Edge constraint implemented