Futoshiki Prolog implementation (clpfd)